fix #2483 Exception on ctrl-alt-shift-click when $enableJumpToDef is true
This commit is contained in:
parent
446e3e1bf9
commit
1514d5f374
1 changed files with 2 additions and 2 deletions
|
|
@ -83,7 +83,7 @@ function onMouseDown(e) {
|
|||
var selectionMode;
|
||||
if (editor.$mouseHandler.$enableJumpToDef) {
|
||||
if (ctrl && alt || accel && alt)
|
||||
selectionMode = "add";
|
||||
selectionMode = shift ? "block" : "add";
|
||||
else if (alt && editor.$blockSelectEnabled)
|
||||
selectionMode = "block";
|
||||
} else {
|
||||
|
|
@ -117,7 +117,7 @@ function onMouseDown(e) {
|
|||
|
||||
if (shift) {
|
||||
oldRange = null;
|
||||
range = selection.ranges[0];
|
||||
range = selection.ranges[0] || range;
|
||||
editor.removeSelectionMarker(range);
|
||||
}
|
||||
editor.once("mouseup", function() {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue