diff --git a/lib/ace/mouse/default_gutter_handler.js b/lib/ace/mouse/default_gutter_handler.js index 281fe8d0..0ba7d52d 100644 --- a/lib/ace/mouse/default_gutter_handler.js +++ b/lib/ace/mouse/default_gutter_handler.js @@ -130,7 +130,7 @@ function GutterHandler(mouseHandler) { return; tooltipTimeout = setTimeout(function() { tooltipTimeout = null; - if (mouseEvent) + if (mouseEvent && !mouseHandler.isMousePressed) showTooltip(); else hideTooltip(); diff --git a/lib/ace/mouse/mouse_handler.js b/lib/ace/mouse/mouse_handler.js index 689acc8c..503aeabc 100644 --- a/lib/ace/mouse/mouse_handler.js +++ b/lib/ace/mouse/mouse_handler.js @@ -115,6 +115,8 @@ var MouseHandler = function(editor) { this.x = ev.x; this.y = ev.y; + + this.isMousePressed = true; // do not move textarea during selection var renderer = this.editor.renderer; @@ -135,6 +137,7 @@ var MouseHandler = function(editor) { renderer.$keepTextAreaAtCursor = true; renderer.$moveTextAreaToCursor(); } + self.isMousePressed = false; }; var onCaptureInterval = function() {