Fix duplicated editor tabs (#1012)

Author: msujew

Diff for: arduino-ide-extension/src/browser/arduino-frontend-contribution.tsx

@@ -579,7 +579,11 @@ export class ArduinoFrontendContribution
       (widget) => widget.editor.uri.toString() === uri
     );
     if (!widget || forceOpen) {
-      return this.editorManager.open(new URI(uri), options);
+      return this.editorManager.open(new URI(uri), options ?? {
+        mode: 'reveal',
+        preview: false,
+        counter: 0
+      });
     }
   }
 

Diff for: arduino-ide-extension/src/browser/arduino-ide-frontend-module.ts

@@ -276,6 +276,8 @@ import {
 import { ElectronIpcConnectionProvider } from '@theia/core/lib/electron-browser/messaging/electron-ipc-connection-provider';
 import { MonitorModel } from './monitor-model';
 import { MonitorManagerProxyClientImpl } from './monitor-manager-proxy-client-impl';
+import { EditorManager as TheiaEditorManager } from '@theia/editor/lib/browser/editor-manager';
+import { EditorManager } from './theia/editor/editor-manager';
 
 const ElementQueries = require('css-element-queries/src/ElementQueries');
 
@@ -525,6 +527,8 @@ export default new ContainerModule((bind, unbind, isBound, rebind) => {
   bind(SearchInWorkspaceWidget).toSelf();
   rebind(TheiaSearchInWorkspaceWidget).toService(SearchInWorkspaceWidget);
 
+  rebind(TheiaEditorManager).to(EditorManager);
+
   // replace search icon
   rebind(TheiaSearchInWorkspaceFactory)
     .to(SearchInWorkspaceFactory)

Diff for: arduino-ide-extension/src/browser/theia/editor/editor-manager.ts

@@ -0,0 +1,9 @@
+import { EditorManager as TheiaEditorManager } from '@theia/editor/lib/browser/editor-manager';
+
+export class EditorManager extends TheiaEditorManager {
+
+  protected getOrCreateCounterForUri(): number {
+    return 0;
+  }
+
+}