no, go back to drawing the menu after the editor

akkartik

Mar 14, 2024, 5:21 PM

2NEL7TGNFKBDFSJMCHLI5UQ65UWYSMDZPG3ZV24TOFRPJK2NQBLAC

Dependencies

• [2] 4HCP3NTO draw code editor after menu and output
• [3] Q3EQI5LI some keyboard shortcuts on non-mobile devices
• [4] 7RIDCIVG handle scripts that change the font
• [5] KCFQO6K5 clean up some debug drawing
• [6] 2Q437U4F starting to experiment with animated pane transitions
• [7] 4OMG2P5E isolate editor UI from some app changes
• [8] HVXZLNCC send errors from event handlers to output editor
• [9] IUOZ4YHC use the obvious name for the font global
• [10] RK2ASPN7 add lots of buttons to the toolbar
• [*] ZM7NOBRM new fork: carousel shell

Change contents

• edit in 0012-on.draw at line 17
  [3.56]→[2.0:13](∅→∅)
  − draw_menu()
• edit in 0012-on.draw at line 26
  [3.8579]

  [3.2189]
  + draw_menu()
• replacement in 0012-on.draw at line 29
  [3.2132]→[2.248:252](∅→∅)
  − end
  [3.2132]
  + end