Skip to content

[release/dev18.0] Fix some issues with our options in the new experience#12263

Merged
davidwengier merged 5 commits into
release/dev18.0from
backport/pr-12262-to-release/dev18.0
Sep 25, 2025
Merged

[release/dev18.0] Fix some issues with our options in the new experience#12263
davidwengier merged 5 commits into
release/dev18.0from
backport/pr-12262-to-release/dev18.0

Refresh semantic tokens when the color background option changes

decf4c0
Select commit
Loading
Failed to load commit list.
Dotnet Policy Service / license/cla succeeded Sep 24, 2025 in 0s

All CLA requirements met.

This check verifies that the author has agreed to a CLA with Microsoft.

View more details on Dotnet Policy Service