From 636cc6a96f9ca20fd678a3830a3aa43fc27283a5 Mon Sep 17 00:00:00 2001
From: nightwing <amirjanyan@gmail.com>
Date: Sat, 7 Jun 2014 15:10:36 +0400
Subject: [PATCH] do not change mouse over selection if dragging isn't enabled

---
 lib/ace/mouse/mouse_handler.js | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/lib/ace/mouse/mouse_handler.js b/lib/ace/mouse/mouse_handler.js
index f755270c..2da72d31 100644
--- a/lib/ace/mouse/mouse_handler.js
+++ b/lib/ace/mouse/mouse_handler.js
@@ -76,14 +76,14 @@ var MouseHandler = function(editor) {
         return event.preventDefault(e);
     });
 
-    editor.on('mousemove', function(e){
-        if (_self.state)
+    editor.on("mousemove", function(e){
+        if (_self.state || _self.$dragDelay || !_self.$dragEnabled)
             return;
         
         var char = editor.renderer.screenToTextCoordinates(e.x, e.y);
         var range = editor.session.selection.getRange();
-		var renderer = editor.renderer;
-		
+        var renderer = editor.renderer;
+
         if (!range.isEmpty() && range.insideStart(char.row, char.column)) {
             renderer.setCursorStyle("default");
         } else {