From 9ed7c576e6731334cd9e36285b98a2703c6564e1 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 25 Nov 2023 15:31:42 -0800 Subject: [PATCH] port keyboard layout handling to source editor --- source_text.lua | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/source_text.lua b/source_text.lua index f60123e..c28e203 100644 --- a/source_text.lua +++ b/source_text.lua @@ -199,7 +199,14 @@ end function Text.text_input(State, t) if App.mouse_down(1) then return end - if App.ctrl_down() or App.alt_down() or App.cmd_down() then return end + if App.any_modifier_down() then + if App.key_down(t) then + -- The modifiers didn't change the key. Handle it in keychord_pressed. + return + else + -- Key mutated by the keyboard layout. Continue below. + end + end local before = snapshot(State, State.cursor1.line) --? print(State.screen_top1.line, State.screen_top1.pos, State.cursor1.line, State.cursor1.pos, State.screen_bottom1.line, State.screen_bottom1.pos) Text.insert_at_cursor(State, t)