fix: dispose the listeners on unload

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>

Author: Akos Kitta

arduino-ide-extension/src/browser/theia/core/window-title-updater.ts

@@ -1,4 +1,4 @@
-import { nls } from '@theia/core';
+import { nls } from '@theia/core/lib/common/nls';
 import * as remote from '@theia/core/electron-shared/@electron/remote';
 import { FrontendApplication } from '@theia/core/lib/browser/frontend-application';
 import { FrontendApplicationConfigProvider } from '@theia/core/lib/browser/frontend-application-config-provider';
@@ -75,6 +75,10 @@ export class WindowTitleUpdater extends TheiaWindowTitleUpdater {
     ]);
   }
 
+  onStop(): void {
+    this.toDispose.dispose();
+  }
+
   protected override handleWidgetChange(widget?: Widget | undefined): void {
     if (isOSX) {
       this.maybeUpdateRepresentedFilename(widget);