Scroll to the top for text result

dzmipt · Nov 1, 2024 · d8573c7 · d8573c7
1 parent cd157af
commit d8573c7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/build.gradle b/build.gradle
@@ -72,7 +72,7 @@ dependencies {
     implementation group: 'org.apache.logging.log4j', name: 'log4j-core', version: '2.20.0'
     implementation group: 'org.apache.logging.log4j', name: 'log4j-iostreams', version: '2.20.0'
 
-    implementation group: 'com.fifesoft', name: 'rsyntaxtextarea', version: '3.3.4'
+    implementation group: 'com.fifesoft', name: 'rsyntaxtextarea', version: '3.5.1'
     //see studio.ui.chart.patched folder for the patch for jfreechart.
     // It will require review during the jfreechart upgrade.
     implementation group: 'org.jfree', name: 'jfreechart', version: '1.5.3'

diff --git a/src/studio/ui/TabPanel.java b/src/studio/ui/TabPanel.java
@@ -219,6 +219,8 @@ private void updateFormatting() {
                 text = Util.limitString(result.toString(formatContext), Config.getInstance().getMaxCharsInResult());
             }
             textArea.setText(text);
+            textArea.setCaretPosition(0);
+            textArea.scrollRectToVisible(new Rectangle(0, 0, 1, 1));  // Scroll to top
         }
     }