switch undo/redo to ctrl- hotkeys

Dependencies

• [2] R6GUSTBY default font size and line-height
• [3] 73OCE2MC after much struggle, a brute-force undo
• [4] XNFTJHC4 split keyboard handling between Text and Drawing
• [5] SQLVYKVJ rename
• [6] CG3264MM move
• [7] HOSPP2AN crisp font rendering
• [8] YPHKZVWM extract a new variable
• [9] VJ77YABH more efficient undo/redo
• [*] BULPIBEG beginnings of a module for the text editor
• [*] OTIBCAUJ love2d scaffold
• [*] Z4XRNDTR find text

Change contents

• replacement in text.lua at line 1171
  [3.3831]→[3.3831:3863](∅→∅)
  − App.run_after_keychord('M-z')
  [3.3831]

  [3.3863]
  + App.run_after_keychord('C-z')
• replacement in text.lua at line 1206
  [3.5516]→[3.5516:5548](∅→∅)
  − App.run_after_keychord('M-z')
  [3.5516]

  [3.5548]
  + App.run_after_keychord('C-z')
• edit in text.lua at line 1382
  [3.583]→[3.7107:7450](∅→∅),[3.2102]→[3.7107:7450](∅→∅),[3.7107]→[3.7107:7450](∅→∅),[3.7450]→[3.2103:2149](∅→∅),[3.2149]→[3.7520:7761](∅→∅),[3.7520]→[3.7520:7761](∅→∅),[3.7761]→[3.2150:2196](∅→∅),[3.2196]→[3.8113:8121](∅→∅),[3.8113]→[3.8113:8121](∅→∅)
  − -- undo/redo really belongs in main.lua, but it's here so I can test the

  − -- text-specific portions of it

  − elseif chord == 'M-z' then

  − local event = undo_event()

  − if event then

  − local src = event.before

  − Screen_top1 = deepcopy(src.screen_top)

  − Cursor1 = deepcopy(src.cursor)

  − Selection1 = deepcopy(src.selection)

  − patch(Lines, event.after, event.before)

  − end

  − elseif chord == 'M-y' then

  − local event = redo_event()

  − if event then

  − local src = event.after

  − Screen_top1 = deepcopy(src.screen_top)

  − Cursor1 = deepcopy(src.cursor)

  − Selection1 = deepcopy(src.selection)

  − patch(Lines, event.before, event.after)

  − end
• edit in main.lua at line 279
  [2.265]

  [13.3819]
  + elseif chord == 'C-z' then

  + local event = undo_event()

  + if event then

  + local src = event.before

  + Screen_top1 = deepcopy(src.screen_top)

  + Cursor1 = deepcopy(src.cursor)

  + Selection1 = deepcopy(src.selection)

  + patch(Lines, event.after, event.before)

  + end

  + elseif chord == 'C-y' then

  + local event = redo_event()

  + if event then

  + local src = event.after

  + Screen_top1 = deepcopy(src.screen_top)

  + Cursor1 = deepcopy(src.cursor)

  + Selection1 = deepcopy(src.selection)

  + patch(Lines, event.before, event.after)

  + end