add editor onFocusChanged event to update active editor when switchin…

…g editors Signed-off-by: odelia <odelia.zehavi@sap.com>
eclipse-theia · Feb 1, 2021 · 261038c · 261038c
1 parent ef9d9ee
commit 261038c
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/packages/editor/src/browser/editor-widget.ts b/packages/editor/src/browser/editor-widget.ts
@@ -29,7 +29,12 @@ export class EditorWidget extends BaseWidget implements SaveableSource, Navigata
         this.addClass('theia-editor');
         this.toDispose.push(this.editor);
         this.toDispose.push(this.editor.onSelectionChanged(() => {
-            if (this.editor.isFocused()) {
+            if (this.editor.isFocused() && this.selectionService.selection !== this.editor) {
+                this.selectionService.selection = this.editor;
+            }
+        }));
+        this.toDispose.push(this.editor.onFocusChanged(() => {
+            if (this.editor.isFocused() && this.selectionService.selection !== this.editor) {
                 this.selectionService.selection = this.editor;
             }
         }));