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.

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

allow customising key symbols #465

Closed
extrawurst opened this issue Dec 26, 2020 · 3 comments · Fixed by #997
Closed

allow customising key symbols #465

extrawurst opened this issue Dec 26, 2020 · 3 comments · Fixed by #997
Labels
enhancement New feature or request good first issue Good for newcomers
Milestone

Comments

@extrawurst
Copy link
Collaborator

#464 showed that we should allow overwriting/customizing the symbols we use to show key codes. this can be added similarly to our general key configuration in keys.rs see get_key_symbol

@extrawurst extrawurst added enhancement New feature or request good first issue Good for newcomers labels Dec 26, 2020
@extrawurst extrawurst mentioned this issue Dec 26, 2020
@josmith42
Copy link

I think I'd like to take a stab at this.

Question: in addition to implementing the feature, would you like the PR to also update the key config documentation so users know how to customize the symbols?

@stale stale bot added the wontfix This will not be worked on label May 14, 2021
@extrawurst extrawurst removed the wontfix This will not be worked on label May 14, 2021
@gitui-org gitui-org deleted a comment from stale bot May 14, 2021
@stale stale bot added the dormant Marked by stale bot on close label Aug 12, 2021
@extrawurst extrawurst removed the dormant Marked by stale bot on close label Aug 12, 2021
@gitui-org gitui-org deleted a comment from stale bot Aug 12, 2021
@stale

This comment has been minimized.

@stale stale bot added the dormant Marked by stale bot on close label Nov 10, 2021
@stale stale bot closed this as completed Nov 18, 2021
@extrawurst extrawurst removed the dormant Marked by stale bot on close label Nov 20, 2021
@extrawurst extrawurst reopened this Nov 20, 2021
@extrawurst extrawurst added this to the v0.19 milestone Nov 20, 2021
extrawurst pushed a commit that referenced this issue Nov 20, 2021
@extrawurst
Copy link
Collaborator Author

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request good first issue Good for newcomers
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants