Skip to content

Provide user friendly command names in "Keyboard Shortcuts" view #1659

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
Open
3 tasks done
per1234 opened this issue Nov 10, 2022 · 0 comments
Open
3 tasks done

Provide user friendly command names in "Keyboard Shortcuts" view #1659

per1234 opened this issue Nov 10, 2022 · 0 comments
Labels
topic: accessibility Enabling the use of the software by everyone topic: code Related to content of the project itself topic: theia Related to the Theia IDE framework type: enhancement Proposed improvement

Comments

@per1234
Copy link
Contributor

per1234 commented Nov 10, 2022 •
edited
Loading

Describe the request

Convert all commands listed in the "Keyboard Shortcuts" view to the user friendly command name format.

🙂 The "Keyboard Shortcuts" view will be more readable and approachable to users.

Describe the current behavior

Arduino IDE has a convenient GUI for discovering and customizing keyboard shortcuts. It consists of a table of "commands". The command names will be the user's only indication of what the keyboard shortcut does.

🙁 The names of many of the most important commands have a hyphenated form that is less approachable to the user.

To reproduce

  1. Select File > Advanced > Keyboard Shortcuts from the Arduino IDE menus.
    A "Keyboard Shortcuts" view will open in the main panel.
  2. In the "Search keybindings" field of the view, type arduino

Arduino IDE version

3a70547

Operating system

  • Windows
  • Linux

Operating system version

  • Windows 10
  • Ubuntu 20.04

Additional context

Keywords

  • "keybinding"

  • "key binding"

  • "hotkey"

  • "hot key"

  • "accelerator"

  • "key combination"

  • "key sequence"

  • "key chord"

  • "shortcut key"

Issue checklist

  • I searched for previous requests in the issue tracker
  • I verified the feature was still missing when using the latest nightly build
  • My request contains all necessary details
@per1234 per1234 added type: enhancement Proposed improvement topic: code Related to content of the project itself topic: accessibility Enabling the use of the software by everyone labels Nov 10, 2022
@kittaakos kittaakos added the topic: theia Related to the Theia IDE framework label Nov 10, 2022
@per1234 per1234 mentioned this issue Nov 18, 2022
Open
3 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
topic: accessibility Enabling the use of the software by everyone topic: code Related to content of the project itself topic: theia Related to the Theia IDE framework type: enhancement Proposed improvement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@kittaakos @per1234