Skip to content

feat: add toggle to show/hide diagnostics#6

Merged
oriori1703 merged 1 commit intooriori1703:maintained-upstreamfrom
guru245:feature/toggle_diagnostics
Jul 4, 2025
Merged

feat: add toggle to show/hide diagnostics#6
oriori1703 merged 1 commit intooriori1703:maintained-upstreamfrom
guru245:feature/toggle_diagnostics

Commits

Commits on Jun 24, 2025