Added timeout in mouse handler

ajaxorg · May 29, 2022 · 070addf · 070addf
1 parent f30cd47
commit 070addf
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/lib/ace/mouse/mouse_handler.js b/lib/ace/mouse/mouse_handler.js
@@ -56,6 +56,10 @@ var MouseHandler = function(editor) {
         if (windowBlurred)
             window.focus();
         editor.focus();
+        // Without this editor is blurred after double click
+        setTimeout(function () {
+            if (!editor.isFocused()) editor.focus();
+        });
     };
 
     var mouseTarget = editor.renderer.getMouseEventTarget();
@@ -221,4 +225,4 @@ config.defineOptions(MouseHandler.prototype, "mouseHandler", {
 
 
 exports.MouseHandler = MouseHandler;
-});
+});