Skip to content

Use proper settings name for semantic tokens' settings UI#48686

Merged
maxdeviant merged 1 commit intomainfrom
kb/proper-settings-name
Feb 7, 2026
Merged

Use proper settings name for semantic tokens' settings UI#48686
maxdeviant merged 1 commit intomainfrom
kb/proper-settings-name

Commits

Commits on Feb 7, 2026