Focus editor on "editor.focus.gain" message received.

Send 'editor.focus.gained' message on editor focus received.
dirigiblelabs · Mar 25, 2022 · 9dd9725 · 9dd9725
1 parent 6f17779
commit 9dd9725
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/ide-monaco/js/editor.js b/ide-monaco/js/editor.js
@@ -693,6 +693,18 @@ function isDirty(model) {
                         }
                     }, "workbench.editor.save");
 
+                    messageHub.subscribe(function (msg) {
+                        let file = msg.data.file;
+                        if (file !== fileName)
+                            return;
+
+                        _editor.focus();
+                    }, "editor.focus.gain");
+
+                    _editor.onDidFocusEditorText(function () {
+                        messageHub.post({ data: { file: fileName } }, 'editor.focus.gained');
+                    });
+
                     _editor.onDidChangeModel(function () {
                         if (_fileObject.isGit) {
                             lineDecorations = highlight_changed(