Skip to content

[WEB-5772] chore: theme switcher and editor colors enhancements - #8436

Merged
pushya22 merged 5 commits into
previewfrom
chore-theme-switcher-enhancements
Dec 23, 2025
Merged

[WEB-5772] chore: theme switcher and editor colors enhancements#8436
pushya22 merged 5 commits into
previewfrom
chore-theme-switcher-enhancements

chore: upgrade icon added to propel

a4fedbd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar