Don't autoscroll when using the mouse to add, delete or move selections

This commit is contained in:
Antonio Scandurra
2017-09-05 15:11:49 +02:00
parent 0d9dc47ef9
commit 91bb1e12c7
2 changed files with 28 additions and 15 deletions

View File

@@ -1761,22 +1761,22 @@ class TextEditorComponent {
if (existingSelection) {
if (model.hasMultipleCursors()) existingSelection.destroy()
} else {
model.addCursorAtScreenPosition(screenPosition)
model.addCursorAtScreenPosition(screenPosition, {autoscroll: false})
}
} else {
if (shiftKey) {
model.selectToScreenPosition(screenPosition)
model.selectToScreenPosition(screenPosition, {autoscroll: false})
} else {
model.setCursorScreenPosition(screenPosition)
model.setCursorScreenPosition(screenPosition, {autoscroll: false})
}
}
break
case 2:
if (addOrRemoveSelection) model.addCursorAtScreenPosition(screenPosition)
if (addOrRemoveSelection) model.addCursorAtScreenPosition(screenPosition, {autoscroll: false})
model.getLastSelection().selectWord({autoscroll: false})
break
case 3:
if (addOrRemoveSelection) model.addCursorAtScreenPosition(screenPosition)
if (addOrRemoveSelection) model.addCursorAtScreenPosition(screenPosition, {autoscroll: false})
model.getLastSelection().selectLine(null, {autoscroll: false})
break
}