Skip to content

Display most quick-select keys as symbols - #1502

Merged
Schneegans merged 1 commit into
mainfrom
feature/quick-select-key-symbols
Aug 27, 2026
Merged

Display most quick-select keys as symbols#1502
Schneegans merged 1 commit into
mainfrom
feature/quick-select-key-symbols

Conversation

@Schneegans

Copy link
Copy Markdown
Contributor

No description provided.

@Schneegans
Schneegans merged commit 560077c into main Aug 27, 2026
20 checks passed
@Schneegans
Schneegans deleted the feature/quick-select-key-symbols branch August 27, 2026 03:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant