bugfix in source editor: don't clear selection on M-arrow

This commit is contained in:
Kartik K. Agaram 2024-06-09 20:38:53 -07:00
parent 9b5a78d3c5
commit 19615eade0
1 changed files with 1 additions and 1 deletions

View File

@ -399,7 +399,7 @@ function edit.keychord_press(State, chord, key)
-- printable character created using shift key => delete selection
-- (we're not creating any ctrl-shift- or alt-shift- combinations using regular/printable keys)
(not App.shift_down() or utf8.len(key) == 1) and
chord ~= 'C-a' and chord ~= 'C-c' and chord ~= 'C-x' and chord ~= 'backspace' and chord ~= 'delete' and chord ~= 'C-z' and chord ~= 'C-y' and not App.is_cursor_movement(chord) then
chord ~= 'C-a' and chord ~= 'C-c' and chord ~= 'C-x' and chord ~= 'backspace' and chord ~= 'delete' and chord ~= 'C-z' and chord ~= 'C-y' and not App.is_cursor_movement(key) then
Text.delete_selection(State, State.left, State.right)
end
if State.search_term then