Merge pull request #6 from guru245/feature/toggle_diagnostics
feat: add toggle to show/hide diagnosticspull/1627/head
commit
0ecaa81c4d
Loading…
Reference in New Issue
feat: add toggle to show/hide diagnosticspull/1627/head