fixes bug with selecting an error that's in a tab that isn't visible yet.

joshgiesbrecht · joshgiesbrecht · commit fb18ac5ed163 · 2025-05-19T19:46:54.000-07:00
diff --git a/app/src/processing/app/ui/Editor.java b/app/src/processing/app/ui/Editor.java
@@ -2736,6 +2736,7 @@ public void highlight(Problem p) {
     }
 
     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);

Original file line number	Diff line number	Diff line change
`@@ -2736,6 +2736,7 @@ public void highlight(Problem p) {`
`2736`	`2736`	`}`
`2737`	`2737`
`2738`	`2738`	`int tabIndex = p.getTabIndex();`
	`2739`	`+ sketch.setCurrentCode(tabIndex); // so we are looking at the right offsets below`
`2739`	`2740`	`int lineNumber = p.getLineNumber();`
`2740`	`2741`	`int lineStart = textarea.getLineStartOffset(lineNumber);`
`2741`	`2742`	`int lineEnd = textarea.getLineStopOffset(lineNumber);`