K Simmons 95952f0c66 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

..

theme_registry.rs

Start loading new theme JSON format instead of TOML

2022-04-01 13:34:39 -07:00

theme.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