correct bugfix for mouse wheel

akkartik

Dec 17, 2023, 9:59 PM

EYVEF32LSEOOSDBGBIAGRSTBUVA4PVOSVIKEF6WKK66EQVKCGRFQC

Dependencies

• [2] RK2ASPN7 add lots of buttons to the toolbar
• [3] VEHR6IYD bugfix for mouse wheel
• [4] R2ASHK5C fix a bad merge
• [5] OV6FE23R Merge text0
• [6] YXQOITYS Merge lines.love
• [*] 2L5MEZV3 experiment: new edit namespace

Change contents

• edit in edit.lua at line 262
  [4.5044]→[3.0:23](∅→∅)
  − State.cursor_x = 0
• edit in edit.lua at line 375
  [2.7328]→[4.9927:10055](∅→∅),[4.9927]→[4.9927:10055](∅→∅)
  − if Text.cursor_out_of_screen(State) then

  − Text.snap_cursor_to_bottom_of_screen(State, State.left, State.right)

  − end
• edit in edit.lua at line 393
  [4.10362]

  [4.10362]
  + if Text.cursor_out_of_screen(State) then

  + Text.snap_cursor_to_bottom_of_screen(State, State.left, State.right)

  + end