Merge pull request #1114 from joshgiesbrecht/main

fixes error highlighting when selecting an error in another tab
This commit is contained in:
Raphaël de Courville
2025-07-11 12:36:44 +02:00
committed by GitHub
+1
View File
@@ -2736,6 +2736,7 @@ public abstract class Editor extends JFrame implements RunnerListener {
}
int tabIndex = p.getTabIndex();
sketch.setCurrentCode(tabIndex); // so we are looking at the right offsets below
int lineNumber = p.getLineNumber();
int lineStart = textarea.getLineStartOffset(lineNumber);
int lineEnd = textarea.getLineStopOffset(lineNumber);