fixes error highlighting when selecting an error in another tab#1114

Open

joshgiesbrecht wants to merge 2 commits intoprocessing:mainfrom

joshgiesbrecht:main

Commits on May 20, 2025

fixes bug with selecting an error that's in a tab that isn't visible yet.
joshgiesbrecht
committed
Merge pull request #1 from joshgiesbrecht/highlight-fix
joshgiesbrecht
authored