Merge remote-tracking branch 'ups/master' into 1128_addons

2019-05-12 09:44:09 -07:00
parent f654044e5e 34244248bf
commit f7612a49d2
8 changed files with 99 additions and 23 deletions
@@ -5,14 +5,8 @@

 import { Terminal } from 'xterm';

-// TODO: Don't rely on this private API
-export interface ITerminalCore {
-  selectionManager: any;
-}
-
 export interface ISearchAddonTerminal extends Terminal {
  __searchHelper?: ISearchHelper;
-  _core: ITerminalCore;
 }

 export interface ISearchHelper {