-
-
Notifications
You must be signed in to change notification settings - Fork 470
Closed
Labels
conclusion: resolvedIssue was resolvedIssue was resolvedtopic: codeRelated to content of the project itselfRelated to content of the project itselftype: enhancementProposed improvementProposed improvement
Description
Describe the request
Allow me to edit keybindings.
Describe the current behavior
The default keybindings may be reasonable for beginners, but they are unreasonable for seasoned developers.
Additional context
VSCode has a menu option (on macOS): Code > Preferences > Keyboard Shortcuts.
Arduino 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.
Keywords
-
"keybinding"
-
"key binding"
-
"hotkey"
-
"hot key"
-
"accelerator"
-
"key combination"
-
"key sequence"
-
"key chord"
-
"shortcut key"
Metadata
Metadata
Assignees
Labels
conclusion: resolvedIssue was resolvedIssue was resolvedtopic: codeRelated to content of the project itselfRelated to content of the project itselftype: enhancementProposed improvementProposed improvement