fix a comment

akkartik

Dec 3, 2024, 11:48 PM

ZNH7Q2CVJRGRYDNU7ZW3P2WW7YNDRCBRRAEF544ATWWOJCKHLNZQC

Dependencies

• [2] OE26XIQO bring back syntax highlighting (but so ugly)
• [3] RK2ASPN7 add lots of buttons to the toolbar
• [4] 4HCP3NTO draw code editor after menu and output
• [5] JV27LDDK sliders for font size and color settings
• [*] ZM7NOBRM new fork: carousel shell

Change contents

• replacement in 0012-on.draw at line 26
  [3.8266]→[2.1137:1272](∅→∅)
  − edit.draw(Current_pane.editor_state, --[[implicitly use Foreground_color]] nil, --[[hide_cursor]] nil, --[[show_line_numbers]] true)
  [3.8266]

  [3.8372]
  + edit.draw(Current_pane.editor_state, --[[color depends on syntax]] nil, --[[hide_cursor]] nil, --[[show_line_numbers]] true)