From a44236cfcc91c3a434c5121dc2d259fd223caf3d Mon Sep 17 00:00:00 2001
From: nightwing <amirjanyan@gmail.com>
Date: Sun, 2 Sep 2012 17:16:21 +0400
Subject: [PATCH] do not show gutter tooltip while selecting

---
 lib/ace/mouse/default_gutter_handler.js | 2 +-
 lib/ace/mouse/mouse_handler.js          | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

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() {