undo commit 861c57b533

Dependencies

• [2] ED2FYWDK turns out super- chords to get to textinput
• [3] BYG5CEMV support for naming points
• [4] DRFE3B3Z mouse buttons are integers, not strings
• [5] XDB5D7H7 some early returns should be asserts
• [6] 2ZYV7D3W handle tab characters
• [7] VJ77YABH more efficient undo/redo
• [8] 4QQBMWLL regression: typing uppercase letters in text
• [*] BULPIBEG beginnings of a module for the text editor

Change contents

• replacement in text.lua at line 142
  [3.1182]→[3.3:33](∅→∅),[3.33]→[2.3:57](∅→∅)
  − assert(not App.ctrl_down())

  − if App.alt_down() or App.cmd_down() then return end
  [3.1182]

  [3.1234]
  + if App.ctrl_down() or App.alt_down() or App.cmd_down() then return end