Merge branch 'master' into 1456_triple_click_wrapped

2018-06-03 06:04:41 -07:00
parent 956b773421 7ca6873a5e
commit 75a45808c3
16 changed files with 80 additions and 77 deletions
@@ -261,6 +261,7 @@ export interface ICharMeasure {

 // TODO: The options that are not in the public API should be reviewed
 export interface ITerminalOptions extends IPublicTerminalOptions {
+  [key: string]: any;
  cancelEvents?: boolean;
  convertEol?: boolean;
  debug?: boolean;