From dbd58e81755607de511845564ac3353eeb369ac2 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Fri, 21 Jun 2024 08:14:59 -0700 Subject: merge bugfix X-( Looks to have first been introduced in Sep 2023. (Merge commit 09c76c82c2, though git's merge commits are hard to read. Yes, looks like commit 0a12e4c733 didn't get merged right.) --- edit.lua | 1 - 1 file changed, 1 deletion(-) diff --git a/edit.lua b/edit.lua index aa62ad3..eaa415e 100644 --- a/edit.lua +++ b/edit.lua @@ -243,7 +243,6 @@ function edit.mouse_wheel_move(State, dx,dy) end elseif dy < 0 then State.cursor1 = Text.screen_bottom1(State) - edit.put_cursor_on_next_text_line(State) for i=1,math.floor(-dy) do Text.down(State) end -- cgit 1.4.1-2-gfad0