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

Fix workbench theme switcher against current and upcoming SharpConsoleUI

80e065b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
dotnet-build
succeeded Jun 20, 2026 in 1m 30s