From bf8b02801dd04092a2e62092c785870fece11dba Mon Sep 17 00:00:00 2001 From: Daniel Imms Date: Sun, 6 Sep 2020 15:19:26 -0700 Subject: [PATCH] Remove unwanted log --- .../workbench/contrib/terminal/browser/widgets/widgetManager.ts | 1 - 1 file changed, 1 deletion(-) diff --git a/src/vs/workbench/contrib/terminal/browser/widgets/widgetManager.ts b/src/vs/workbench/contrib/terminal/browser/widgets/widgetManager.ts index 286a70c9044..032610dbea7 100644 --- a/src/vs/workbench/contrib/terminal/browser/widgets/widgetManager.ts +++ b/src/vs/workbench/contrib/terminal/browser/widgets/widgetManager.ts @@ -36,7 +36,6 @@ export class TerminalWidgetManager implements IDisposable { dispose: () => { const current = this._attached.get(widget.id); if (current === widget) { - console.log('widget dispose', widget); this._attached.delete(widget.id); widget.dispose(); }