From 19615eade0106ad5a3a988b3f1f257367aceb7ec Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 9 Jun 2024 20:38:53 -0700 Subject: [PATCH] bugfix in source editor: don't clear selection on M-arrow --- source_edit.lua | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source_edit.lua b/source_edit.lua index 1e8259c..53b50eb 100644 --- a/source_edit.lua +++ b/source_edit.lua @@ -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