Remove old webgl enable button

2019-10-26 18:12:56 -07:00
parent 486fc714b3
commit 2f18edbcac
2 changed files with 0 additions and 2 deletions
@@ -118,7 +118,6 @@ if (document.location.pathname === '/test') {
 } else {
  createTerminal();
  document.getElementById('dispose').addEventListener('click', disposeRecreateButtonHandler);
-  document.getElementById('webgl').addEventListener('click', () => term.loadAddon(new WebglAddon()));
 }

 function createTerminal(): void {