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);