()
| 128 | } |
| 129 | |
| 130 | public dispose() { |
| 131 | CatCodingPanel.currentPanel = undefined; |
| 132 | |
| 133 | // Clean up our resources |
| 134 | this._panel.dispose(); |
| 135 | |
| 136 | while (this._disposables.length) { |
| 137 | const x = this._disposables.pop(); |
| 138 | if (x) { |
| 139 | x.dispose(); |
| 140 | } |
| 141 | } |
| 142 | } |
| 143 | |
| 144 | private _update() { |
| 145 | const webview = this._panel.webview; |