append errors to output buffer

akkartik

Dec 16, 2023, 12:18 AM

7D7J5J4X5EI5V7RAFUFIMK47OOPCMAEK6XPI5SFLFY3NQIHOSITAC

Dependencies

• [2] HVXZLNCC send errors from event handlers to output editor

Change contents

• replacement in 0102-send_errors_to_output at line 4
  [2.768]→[2.768:842](∅→∅)
  − Text.insert_text(Current_pane.output_editor_state, error_with_callstack)
  [2.768]

  [2.842]
  + table.insert(Current_pane.output_editor_state.lines, {data=''})

  + Current_pane.output_editor_state.cursor1 = {line=#Current_pane.output_editor_state.lines, pos=1}
• edit in 0102-send_errors_to_output at line 7
  [2.893]

  [2.893]
  + Text.insert_text(Current_pane.output_editor_state, error_with_callstack)