Merge remote-tracking branch 'origin/master' into webgl2

2019-01-16 11:17:07 -08:00
parent 4181321377 509ce5fa3a
commit c43568283c
11 changed files with 30 additions and 215 deletions
@@ -205,8 +205,7 @@ function initOptions(term: TerminalType): void {
    fontFamily: null,
    fontWeight: ['normal', 'bold', '100', '200', '300', '400', '500', '600', '700', '800', '900'],
    fontWeightBold: ['normal', 'bold', '100', '200', '300', '400', '500', '600', '700', '800', '900'],
-    rendererType: ['dom', 'canvas', 'webgl'],
-    experimentalBufferLineImpl: ['JsArray', 'TypedArray']
+    rendererType: ['dom', 'canvas', 'webgl']
  };
  const options = Object.keys((<any>term)._core.options);
  const booleanOptions = [];