Scroll to top in editors

2026-09-26 10:31:03 +00:00 · 2014-02-26 19:55:53 +01:00
parent 78f01f0c1f
commit 285143b0a3
1 changed files with 2 additions and 0 deletions
@@ -60,12 +60,14 @@ public class LineMarkedEditorPane extends UndoFixedEditorPane {
    public void setText(String t) {
        lastLine = -1;
        super.setText(t);
+        setCaretPosition(0); //scroll to top
    }

    @Override
    public void setText(String t, String contentType) {
        lastLine = -1;
        super.setText(t, contentType);
+        setCaretPosition(0); //scroll to top
    }

    @Override