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

Custom hotkeys #246

Open
ZMYaro opened this issue Mar 24, 2022 · 0 comments
Open

Custom hotkeys #246

ZMYaro opened this issue Mar 24, 2022 · 0 comments

Comments

@ZMYaro
Copy link
Owner

ZMYaro commented Mar 24, 2022

Allow users to rebind hotkeys to whatever they prefer.

This will probably not be added any time in the near future. It would require both overhauling the regular keyboard shortcut manager and writing a new system to determine which shortcuts get ignored when focused on a text box or modal dialog.

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

No branches or pull requests

1 participant