fix(editor): wrong adjusted scroll position after scaling in wordwrap

Rosemoe · Feb 17, 2024 · 8655164 · 8655164
1 parent 0667e05
commit 8655164
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/editor/src/main/java/io/github/rosemoe/sora/widget/CodeEditor.java b/editor/src/main/java/io/github/rosemoe/sora/widget/CodeEditor.java
@@ -3040,7 +3040,7 @@ public void setLayoutBusy(boolean busy) {
                 int column = IntPair.getSecond(touchHandler.memoryPosition);
                 // Compute new scroll position
                 var row = ((WordwrapLayout) layout).findRow(line, column);
-                var afterScrollY = row * getRowHeight() - getHeight() + touchHandler.focusY;
+                var afterScrollY = row * getRowHeight() - touchHandler.focusY;
                 var scroller = touchHandler.getScroller();
                 dispatchEvent(new ScrollEvent(this, scroller.getCurrX(),
                         scroller.getCurrY(), 0, (int) afterScrollY, ScrollEvent.CAUSE_SCALE_TEXT));