Skip to content

Fix workbench theme switcher against current and upcoming SharpConsoleUI#36

Merged
woksin merged 1 commit into
Cratis:mainfrom
nickprotop:fix/theme-switcher-registry-compat
Jun 20, 2026
Merged

Fix workbench theme switcher against current and upcoming SharpConsoleUI#36
woksin merged 1 commit into
Cratis:mainfrom
nickprotop:fix/theme-switcher-registry-compat

Commits

Commits on Jun 20, 2026