K Simmons ed91cee43d working diagnostic popover. Also renamed GoToNextDiagnostic to GoToDiagnostic and adjusted it's action to jump to the popover's diagnostic if it is visible

2022-07-20 19:02:33 -07:00

..

diagnostics.rs

Merge branch 'main' into theme-improvements

2022-07-19 20:12:02 -04:00

items.rs

working diagnostic popover. Also renamed GoToNextDiagnostic to GoToDiagnostic and adjusted it's action to jump to the popover's diagnostic if it is visible

2022-07-20 19:02:33 -07:00