draw code editor after menu and output

akkartik

Mar 13, 2024, 6:10 AM

4HCP3NTOPDNYUHD666O3BOGZEZDTP3YJHWKLSTI5J4DBDFQ6QYDAC

Dependencies

• [2] Q3EQI5LI some keyboard shortcuts on non-mobile devices
• [3] OE26XIQO bring back syntax highlighting (but so ugly)
• [4] OJGIQLZW bugfix: only check for settings menu when open
• [5] ZM7NOBRM new fork: carousel shell
• [6] Z5M23NTK implement second, 'output' editor
• [7] JV27LDDK sliders for font size and color settings
• [8] RK2ASPN7 add lots of buttons to the toolbar
• [9] MZ3DMYPD start sketching out a scrollbar
• [10] KCFQO6K5 clean up some debug drawing
• [11] 2Q437U4F starting to experiment with animated pane transitions
• [12] VAVXKWZV aggregate global state inside a 'pane' object
• [13] 5RUFNRJO start of the visual skeleton
• [*] 4OMG2P5E isolate editor UI from some app changes

Change contents

• edit in 0012-on.draw at line 17
  [15.56]

  [3.8224]
  + draw_menu()
• edit in 0012-on.draw at line 19
  [3.8243]

  [3.8243]
  + draw_output_border()

  + edit.draw(Current_pane.output_editor_state, Foreground_color, --[[hide cursor]] true)

  + draw_scrollbar(Current_pane.output_editor_state)

  + -- draw editor after menu and output scrollbar so search dialog over
• edit in 0012-on.draw at line 26
  [3.8416]→[3.8416:8439](∅→∅),[3.8439]→[3.6087:6175](∅→∅),[3.6175]→[3.8523:8574](∅→∅),[3.8523]→[3.8523:8574](∅→∅)
  − draw_output_border()

  − edit.draw(Current_pane.output_editor_state, Foreground_color, --[[hide cursor]] true)

  − draw_scrollbar(Current_pane.output_editor_state)
• edit in 0012-on.draw at line 27
  [3.2603]→[3.1947:1960](∅→∅),[3.4329]→[3.1947:1960](∅→∅),[3.8579]→[3.1947:1960](∅→∅),[3.1947]→[3.1947:1960](∅→∅)
  − draw_menu()
• replacement in 0012-on.draw at line 29
  [2.2132]→[3.146:149](∅→∅),[3.2223]→[3.146:149](∅→∅)
  − end
  [2.2132]
  + end