escape hatch when print is overridden

akkartik

Dec 17, 2023, 9:30 PM

PN6VP3LVDRGXBTDTXHMQYUZRLP2JHJPNCJPBAW7SR7UFEFXXTDDAC

Dependencies

• [2] W4EQ6IW4 simplify state management for menus
• [3] YK5FRJWH print to output buffer in all callbacks
• [4] HVXZLNCC send errors from event handlers to output editor
• [5] W3RRTO4P extract a second helper for buttons
• [6] V2G455IR clean up a debug print
• [7] I52S4E5F running `print` now appends to output editor
• [8] 5MEJ7XNH lay out buttons based on device dimensions
• [9] GAKJROFZ ahh, got the background color sliders working
• [10] JV27LDDK sliders for font size and color settings
• [*] R5QXEHUI somebody stop me

Change contents

• file addition: 0152-Real_print (----------)
  [12.2]
  + Real_print = print
• edit in 0104-call_protected at line 5
  [4.480]→[3.69:96](∅→∅)
  − local old_print = print
• replacement in 0104-call_protected at line 7
  [4.499]→[3.124:145](∅→∅)
  − print = old_print
  [4.499]

  [4.499]
  + print = Real_print
• edit in 0051-run_button at line 13
  [4.1141]→[4.767:795](∅→∅),[4.767]→[4.767:795](∅→∅)
  − local real_print = print
• replacement in 0051-run_button at line 17
  [4.925]→[4.925:947](∅→∅)
  − print = real_print
  [4.925]

  [4.972]
  + print = Real_print
• replacement in 0051-run_button at line 31
  [4.4086]→[2.617:621](∅→∅)
  − end
  [4.4086]
  + end