Skip to content

Customize keybindings #74

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
Closed
firelizzard18 opened this issue Jan 7, 2021 · 1 comment
Closed

Customize keybindings #74

firelizzard18 opened this issue Jan 7, 2021 · 1 comment
Assignees
@per1234
Labels
conclusion: resolved Issue was resolved topic: code Related to content of the project itself type: enhancement Proposed improvement

Comments

@firelizzard18
Copy link

Is your feature request related to a problem? Please describe.
The default keybindings may be reasonable for beginners, but they are unreasonable for seasoned developers expecting the Pro IDE to behave like it was meant for... professionals.

Describe the solution you'd like
Allow me to edit keybindings. VSCode has a menu option (on macOS): Code > Preferences > Keyboard Shortcuts.

Describe alternatives you've considered
Maybe there's some other way to change the IDE's keybindings. If there isn't... there is no viable alternative.

Additional context
Arduino Pro IDE is based on Theia which is based on VSCode. I expect keybinding customization, like VSCode. I would be perfectly happy if this involved editing a file, as long as there was some command or menu option for opening that file.
@rsora rsora transferred this issue from arduino/arduino-pro-ide Mar 1, 2021
@silvanocerza silvanocerza added the type: enhancement Proposed improvement label Mar 1, 2021
@per1234
Copy link
Contributor

per1234 commented Oct 29, 2021

Fixed by #231

@per1234 per1234 closed this as completed Oct 29, 2021
@per1234 per1234 added conclusion: resolved Issue was resolved topic: code Related to content of the project itself labels Oct 29, 2021
@per1234 per1234 self-assigned this Nov 12, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@per1234 per1234

Labels
conclusion: resolved Issue was resolved topic: code Related to content of the project itself type: enhancement Proposed improvement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@firelizzard18 @silvanocerza @per1234