From afbd1e959c47897c0ce4aaea3ce74538033e5514 Mon Sep 17 00:00:00 2001
From: DanyaPostfactum <danya.postfactum@gmail.com>
Date: Tue, 2 Oct 2012 19:44:42 +1000
Subject: [PATCH] Gutter double click for selectAll

---
 lib/ace/mouse/default_gutter_handler.js | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/lib/ace/mouse/default_gutter_handler.js b/lib/ace/mouse/default_gutter_handler.js
index 9e409b75..69d74015 100644
--- a/lib/ace/mouse/default_gutter_handler.js
+++ b/lib/ace/mouse/default_gutter_handler.js
@@ -50,9 +50,13 @@ function GutterHandler(mouseHandler) {
 
         if (e.getShiftKey())
             selection.selectTo(row, 0);
-        else
+        else {
+            if (e.domEvent.detail == 2) {
+                editor.selectAll();
+                return e.preventDefault();
+            }
             mouseHandler.$clickSelection = editor.selection.getLineRange(row);
-
+        }
         mouseHandler.captureMouse(e, "selectByLines");
         return e.preventDefault();
     });