arduino
diff --git a/‎arduino-ide-extension/src/browser/arduino-frontend-contribution.tsx
Copy file name to clipboardExpand all lines: arduino-ide-extension/src/browser/arduino-frontend-contribution.tsx
+5-1Lines changed: 5 additions & 1 deletion b/‎arduino-ide-extension/src/browser/arduino-frontend-contribution.tsx
Copy file name to clipboardExpand all lines: arduino-ide-extension/src/browser/arduino-frontend-contribution.tsx
+5-1Lines changed: 5 additions & 1 deletion
diff --git a/‎arduino-ide-extension/src/browser/arduino-ide-frontend-module.ts
Copy file name to clipboardExpand all lines: arduino-ide-extension/src/browser/arduino-ide-frontend-module.ts
+4Lines changed: 4 additions & 0 deletions b/‎arduino-ide-extension/src/browser/arduino-ide-frontend-module.ts
Copy file name to clipboardExpand all lines: arduino-ide-extension/src/browser/arduino-ide-frontend-module.ts
+4Lines changed: 4 additions & 0 deletions
diff --git a/‎arduino-ide-extension/src/browser/theia/editor/editor-manager.ts
Copy file name to clipboard
+9Lines changed: 9 additions & 0 deletions b/‎arduino-ide-extension/src/browser/theia/editor/editor-manager.ts
Copy file name to clipboard
+9Lines changed: 9 additions & 0 deletions
@@ -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
+      });
     }
   }
 
 
@@ -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)
 
@@ -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;
+  }
+
+}
Original file line number	Diff line number	Diff line change
`@@ -579,7 +579,11 @@ export class ArduinoFrontendContribution`
`579`	`579`	`(widget) => widget.editor.uri.toString() === uri`
`580`	`580`	`);`
`581`	`581`	`if (!widget \|\| forceOpen) {`
`582`		`- return this.editorManager.open(new URI(uri), options);`
	`582`	`+ return this.editorManager.open(new URI(uri), options ?? {`
	`583`	`+ mode: 'reveal',`
	`584`	`+ preview: false,`
	`585`	`+ counter: 0`
	`586`	`+ });`
`583`	`587`	`}`
`584`	`588`	`}`
`585`	`589`