improved handling of other keyboard layouts

akkartik

Nov 25, 2023, 11:21 PM

O4ZGUPZNPNAQUCBV47GSEH33HGIXYODGDMOG2PM3T6D7EVR5YEEAC

Dependencies

• [2] MTJEVRJR add state arg to a few functions
• [3] 4QQBMWLL regression: typing uppercase letters in text
• [4] VJ77YABH more efficient undo/redo
• [5] XDB5D7H7 some early returns should be asserts
• [6] 2CK5QI7W make love event names consistent
• [7] PFT5Y2ZY move
• [8] ODLKHO7B switch to line index in a function
• [9] BYG5CEMV support for naming points
• [10] 3MAZEQK5 add state arg to Text.textinput
• [11] LF7BWEG4 group all editor globals
• [12] 5UG5PQ6K undo commit 861c57b533
• [13] DRFE3B3Z mouse buttons are integers, not strings
• [*] BULPIBEG beginnings of a module for the text editor

Change contents

• replacement in text.lua at line 128
  [3.1182]→[3.3:76](∅→∅)
  − if App.ctrl_down() or App.alt_down() or App.cmd_down() then return end
  [3.1182]

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