From fb18ac5ed163cb4d426b61c852535e8ad2acd3f0 Mon Sep 17 00:00:00 2001
From: josh giesbrecht <josh@thoughtlost.org>
Date: Mon, 19 May 2025 19:46:54 -0700
Subject: [PATCH] fixes bug with selecting an error that's in a tab that isn't
 visible yet.

---
 app/src/processing/app/ui/Editor.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/app/src/processing/app/ui/Editor.java b/app/src/processing/app/ui/Editor.java
index a06cbe238..5018ecbc1 100644
--- 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);