wire up mouse wheel

akkartik

Dec 2, 2023, 8:05 PM

VHOJIECSYSUMOEHMVNE7SUN7TNPBJKAIL2LHK7WUON67EL26BPFQC

Dependencies

• [2] 6DJMOJKE support event handlers
• [3] HVXZLNCC send errors from event handlers to output editor

Change contents

• replacement in 0101-on.mouse_wheel_move at line 3
  [2.107]→[2.107:124](∅→∅)
  − -- nothing yet
  [2.107]

  [2.124]
  + if App.mouse_y() < Current_pane.editor_state.bottom then

  + edit.mouse_wheel_move(Current_pane.editor_state, dx,dy)

  + else

  + edit.mouse_wheel_move(Current_pane.output_editor_state, dx,dy)

  + end