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

Customizable keybindings #247

Open
Mekk opened this issue Sep 27, 2023 · 2 comments
Open

Customizable keybindings #247

Mekk opened this issue Sep 27, 2023 · 2 comments
Labels
enhancement New feature or request

Comments

@Mekk
Copy link

Mekk commented Sep 27, 2023

Would be nice if one could change some keybindings.
Not necessarily with GUI, text config file would suffice.

(in fact I'd only like to remap F12 to sth else - I've been using this key for yakuake for ages and wouldn't like to abandon this habit, and this way can't use shortcut to analyze current line)

PS As this is my first remark, let me thank you for interesting tool, made me change my way of analysing games

@rooklift rooklift added the enhancement New feature or request label Nov 9, 2023
@v11580
Copy link

v11580 commented Feb 8, 2024

You can change the key bindings in the main.js file in the app directory. (Do a search for F12 and change the associated function.)

@Mekk
Copy link
Author

Mekk commented Feb 21, 2024

Thank you, indeed it works (in binary distribution the file is resources/app/main.js but can be edited and after restart keybindings are appropriately changed).

Still, it would be nice if I those could be kept in some config outside distribution (so upgrade won't loose them).

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

No branches or pull requests

3 participants