Move parts of webgl renderer to public API

2019-05-19 00:21:07 -07:00
parent 29d3b8281b
commit 134c2ff859
10 changed files with 62 additions and 61 deletions
@@ -16,8 +16,7 @@ export class WebglRendererAddon implements ITerminalAddon {
      throw new Error('Cannot activate WebglRendererAddon before Terminal.open');
    }
    this._terminal = terminal;
-    const core = (terminal as any)._core;
-    this._terminal.setRenderer(new WebglRenderer(core, core._colorManager.colors));
+    this._terminal.setRenderer(new WebglRenderer(terminal, (terminal as any)._core._colorManager.colors));
  }

  public dispose(): void {