Gutter double click for selectAll

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();
     });