Remove unwanted log

2026-05-08 17:19:48 +01:00 · 2020-09-06 15:19:26 -07:00
parent 0d8cc5e56d
commit bf8b02801d
1 changed files with 0 additions and 1 deletions
@@ -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();
 				}