Update for recent changes

2019-05-18 21:56:42 -07:00
parent e0ff44441e
commit f42e53f15a
4 changed files with 21 additions and 72 deletions
@@ -283,6 +283,10 @@ function initOptions(term: TerminalType): void {
    const input = <HTMLInputElement>document.getElementById(`opt-${o}`);
    addDomListener(input, 'change', () => {
      console.log('change', o, input.value);
+      if (o === 'rendererType' && input.value === 'webgl') {
+        term.setOption('experimentalCharAtlas', 'webgl');
+        setTimeout(() => (<HTMLSelectElement>document.getElementById(`opt-experimentalCharAtlas`)).value = 'webgl', 0);
+      }
      term.setOption(o, input.value);
    });
  });