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

Make tilde a choice please #8896

Closed

Spigolo57 opened this issue Jan 2, 2021 · 1 comment

Labels

Product-Keyboard Shortcut Manager Resolution-Duplicate

Spigolo57 commented Jan 2, 2021

📝 Provide a description of the new feature

Keyboard in my language (italian) doesn't have such a key and it's impossible to pick it. The usual way to type tilde is Alt+126(NumPad)
What is the expected behavior of the proposed feature? What is the scenario this would be used?
I'd like to have tilde right in the key list, to pick from

If you'd like to see this feature implemented, add a 👍 reaction to this post.

ghost added the Needs-Triage label

Collaborator

Jay-o-Way commented Jan 2, 2021 •

edited

Loading

Identical to #8238. See #8230 and #7677.

enricogior added Product-Keyboard Shortcut Manager Resolution-Duplicate and removed Needs-Triage labels

enricogior closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment