Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[keybindings] display keys instead of string representation in the keybindings widget #5377

Closed
vince-fugnitto opened this issue Jun 6, 2019 · 0 comments · Fixed by #10801
Closed

[keybindings] display keys instead of string representation in the keybindings widget #5377

vince-fugnitto opened this issue Jun 6, 2019 · 0 comments · Fixed by #10801
Labels
enhancement issues that are enhancements to current functionality - nice to haves keybindings issues related to keybindings

Comments

@vince-fugnitto
Copy link
Member

Description

An improvement to the keybindings widget is to display the actual keys instead of their string representation.

Example: cmd+A would become

Screen Shot 2019-06-06 at 8 30 30 AM

Other examples:

Screen Shot 2019-06-06 at 8 38 52 AM
@vince-fugnitto vince-fugnitto added enhancement issues that are enhancements to current functionality - nice to haves keybindings issues related to keybindings labels Jun 6, 2019
@vince-fugnitto vince-fugnitto mentioned this issue Feb 23, 2022
Closed
@colin-grant-work colin-grant-work mentioned this issue Feb 24, 2022
Merged
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement issues that are enhancements to current functionality - nice to haves keybindings issues related to keybindings
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Improve key binding rendering eclipse-theia/theia
1 participant
@vince-fugnitto