print to output buffer in all callbacks

akkartik

Dec 14, 2023, 6:22 AM

YK5FRJWHTG3EUZFKVMYIFAENIQG3LKSFNNMD4BYRPPKR7KMKEJQQC

Dependencies

• [2] HVXZLNCC send errors from event handlers to output editor
• [*] I52S4E5F running `print` now appends to output editor

Change contents

• edit in 0104-call_protected at line 5
  [2.480]

  [2.480]
  + local old_print = print

  + print = print_to_output
• edit in 0104-call_protected at line 8
  [2.499]

  [2.499]
  + print = old_print
• edit in 0050-print_to_output at line 5
  [4.1566]

  [4.1566]
  + Text.redraw_all(Current_pane.output_editor_state)