change WindowOptions type

2019-11-14 11:23:21 +01:00
parent 8fc2d22b28
commit eeb9270882
8 changed files with 82 additions and 130 deletions
@@ -244,7 +244,8 @@ function initOptions(term: TerminalType): void {
    'termName',
    'useFlowControl',
    // Complex option
-    'theme'
+    'theme',
+    'windowOptions'
  ];
  const stringOptions = {
    bellSound: null,
@@ -256,8 +257,7 @@ function initOptions(term: TerminalType): void {
    fontWeightBold: ['normal', 'bold', '100', '200', '300', '400', '500', '600', '700', '800', '900'],
    logLevel: ['debug', 'info', 'warn', 'error', 'off'],
    rendererType: ['dom', 'canvas'],
-    wordSeparator: null,
-    allowedWindowOps: ''
+    wordSeparator: null
  };
  const options = Object.keys((<any>term)._core.options);
  const booleanOptions = [];