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

Conversation

@SomeoneToIgnore
Copy link
Contributor

Follow-up of #48581

Release Notes:

  • N/A

@cla-bot cla-bot bot added the cla-signed The user has signed the Contributor License Agreement label Feb 7, 2026
@SomeoneToIgnore SomeoneToIgnore enabled auto-merge (squash) February 7, 2026 15:36
@zed-community-bot zed-community-bot bot added the staff Pull requests authored by a current member of Zed staff label Feb 7, 2026
@maxdeviant maxdeviant disabled auto-merge February 7, 2026 15:39
@maxdeviant maxdeviant changed the title Use proper settings name for semantic tokens' settings ui Use proper settings name for semantic tokens' settings UI Feb 7, 2026
@maxdeviant maxdeviant enabled auto-merge (squash) February 7, 2026 15:40
@maxdeviant maxdeviant merged commit 7fdafe3 into main Feb 7, 2026
36 checks passed
@maxdeviant maxdeviant deleted the kb/proper-settings-name branch February 7, 2026 15:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cla-signed The user has signed the Contributor License Agreement staff Pull requests authored by a current member of Zed staff

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants