From 8a841df6e2f4ce6e1d8b38600e70204bb2729ada Mon Sep 17 00:00:00 2001
From: DanyaPostfactum <danya.postfactum@gmail.com>
Date: Wed, 18 Sep 2013 17:51:52 +1000
Subject: [PATCH] Capture mouse on quadclick

---
 lib/ace/mouse/default_handlers.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/lib/ace/mouse/default_handlers.js b/lib/ace/mouse/default_handlers.js
index 3e1e5284..0c0da34c 100644
--- a/lib/ace/mouse/default_handlers.js
+++ b/lib/ace/mouse/default_handlers.js
@@ -47,7 +47,7 @@ function DefaultHandlers(mouseHandler) {
     editor.setDefaultHandler("quadclick", this.onQuadClick.bind(mouseHandler));
     editor.setDefaultHandler("mousewheel", this.onMouseWheel.bind(mouseHandler));
 
-    var exports = ["select", "startSelect", "selectEnd", "selectByWordsEnd",
+    var exports = ["select", "startSelect", "selectEnd", "selectAllEnd", "selectByWordsEnd",
         "selectByLinesEnd", "dragWait", "dragWaitEnd", "focusWait"];
 
     exports.forEach(function(x) {
@@ -181,6 +181,7 @@ function DefaultHandlers(mouseHandler) {
     };
 
     this.selectEnd =
+    this.selectAllEnd =
     this.selectByWordsEnd =
     this.selectByLinesEnd = function() {
         this.editor.unsetStyle("ace_selecting");
@@ -230,8 +231,7 @@ function DefaultHandlers(mouseHandler) {
 
         editor.selectAll();
         this.$clickSelection = editor.getSelectionRange();
-        this.setState("null");
-        this.selectEnd();
+        this.setState("selectAll");
     };
 
     this.onMouseWheel = function(ev) {