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