fix(web): hide thread jump hints while the terminal is focused (#7277)

ce8ca5bb3dLars Nieuwenhuis committed on 8/21/2026, 5:10:51 AM· committed by GitHubparentf3fcfe1
6 files changedLine totals unavailable