bugfix: loading a file with text selected

akkartik

Dec 2, 2023, 5:32 PM

JGGV3SU7DDBZB52T3AYYM5OGN572IK4Q5CXLURWZYOADMURBBRTQC

Dependencies

• [2] FIUQJVL2 first draft of load/save buttons

Change contents

• edit in 0127-one_time_load at line 3
  [2.113]

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