Dispose of webgl resources properly

Fixes #3889
2022-07-06 07:32:42 -07:00
parent 915fa49ce3
commit 54cbbf600d
6 changed files with 29 additions and 7 deletions
@@ -45,6 +45,7 @@ export class WebglAddon implements ITerminalAddon {
    const renderService: IRenderService = (this._terminal as any)._core._renderService;
    renderService.setRenderer((this._terminal as any)._core._createRenderer());
    renderService.onResize(this._terminal.cols, this._terminal.rows);
+    this._renderer?.dispose();
    this._renderer = undefined;
  }