fix a bad merge

This commit is contained in:
Kartik K. Agaram 2023-09-16 00:07:07 -07:00
parent 09c76c82c2
commit e1168f4eff
1 changed files with 0 additions and 2 deletions

View File

@ -233,13 +233,11 @@ end
function edit.mouse_wheel_move(State, dx,dy)
if dy > 0 then
State.cursor1 = {line=State.screen_top1.line, pos=State.screen_top1.pos}
edit.put_cursor_on_next_text_line(State)
for i=1,math.floor(dy) do
Text.up(State)
end
elseif dy < 0 then
State.cursor1 = {line=State.screen_bottom1.line, pos=State.screen_bottom1.pos}
edit.put_cursor_on_next_text_line(State)
for i=1,math.floor(-dy) do
Text.down(State)
end