Skip to content

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

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

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

Commits

Commits on Dec 23, 2025