'clear' button now clears the entire pane

akkartik

Nov 23, 2023, 3:23 AM

WICFZ4UZOJZGNHG5LRSGQQLSZQDUOM6B7Z3IILUBBT4R7R4HI7QQC

Dependencies

• [2] RK2ASPN7 add lots of buttons to the toolbar

Change contents

• replacement in 0075-clear_pane at line 2
  [2.699]→[2.699:900](∅→∅)
  − Current_pane.editor_state.lines = {{data=''}}

  − Current_pane.editor_state.screen_top1 = {line=1, pos=1}

  − Current_pane.editor_state.cursor1 = {line=1, pos=1}

  − Text.redraw_all(Current_pane.editor_state)
  [2.699]

  [2.900]
  + edit.clear(Current_pane.editor_state)

  + edit.clear(Current_pane.output_editor_state)

  + Current_pane.canvas = nil