-
-
Notifications
You must be signed in to change notification settings - Fork 469
Open
Labels
criticality: mediumOf moderate impactOf moderate impacttopic: codeRelated to content of the project itselfRelated to content of the project itselftype: imperfectionPerceived defect in any part of projectPerceived defect in any part of project
Description
Describe the problem
There is variation in the case of the key identifier text in the default keyboard shortcut settings. For example, I see:
CtrlCmd
ctrlCmd
ctrlcmd
In addition to giving the IDE an unprofessional look, I think this inconsistency could cause confusion for the users who will treat the defaults as references for customizations. Even if they are not case sensitive, the user won't know this intuitively and so will wonder which of the cases they should use.
Expected behavior
Key identifiers are written in a consistent, standardized way everywhere they appear in the Arduino IDE UI.
Additional context
Keywords
-
"keybinding"
-
"key binding"
-
"hotkey"
-
"hot key"
-
"accelerator"
-
"key combination"
-
"key sequence"
-
"key chord"
-
"shortcut key"
per1234
Metadata
Metadata
Assignees
Labels
criticality: mediumOf moderate impactOf moderate impacttopic: codeRelated to content of the project itselfRelated to content of the project itselftype: imperfectionPerceived defect in any part of projectPerceived defect in any part of project