Use proper settings name for semantic tokens' settings UI#48686
Merged
maxdeviant merged 1 commit intomainfrom Feb 7, 2026
Merged
Use proper settings name for semantic tokens' settings UI#48686maxdeviant merged 1 commit intomainfrom
maxdeviant merged 1 commit intomainfrom