[plugin] fix #6288: dispose webview by a handle, not a widget id

Otherwise the webview is not disposed in the plugin host process. Signed-off-by: Anton Kosyakov <[email protected]>
eclipse-theia · Oct 4, 2019 · 5e8c3d8 · 5e8c3d8
1 parent e3ff100
commit 5e8c3d8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/plugin-ext/src/main/browser/webviews-main.ts b/packages/plugin-ext/src/main/browser/webviews-main.ts
@@ -119,7 +119,7 @@ export class WebviewsMainImpl implements WebviewsMain, Disposable {
             this.mouseTracker);
         view.disposed.connect(() => {
             toDisposeOnClose.dispose();
-            this.proxy.$onDidDisposeWebviewPanel(viewId);
+            this.proxy.$onDidDisposeWebviewPanel(panelId);
         });
         this.toDispose.push(view);