Merge pull request #1003 from danyaPostfactum/gutter

Gutter double click for selectAll
This commit is contained in:
Harutyun Amirjanyan 2012-10-02 07:50:17 -07:00
commit f614cb46ac

View file

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