port keyboard layout handling to source editor

akkartik

Nov 25, 2023, 11:32 PM

GIG6OV3GWLVCJS33OW7JOCNVMFTNTCNCFKYEN37ZDTKEQBKUMSXAC

Dependencies

• [2] KKMFQDR4 editing source code from within the app
• [3] 2CK5QI7W make love event names consistent
• [4] G54H3YG2 get rid of all bifold text
• [5] G3DLS5OU audit all asserts
• [6] LIKTH6HM update stale source X-(

Change contents

• replacement in source_text.lua at line 202
  [2.97177]→[2.97177:97250](∅→∅)
  − if App.ctrl_down() or App.alt_down() or App.cmd_down() then return end
  [2.97177]

  [2.97250]
  + 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