Chorded keyboard shortcuts not shown in menus

[maciejmiklas]

Describe the problem

In addition to standard keyboard shortcuts, Arduino IDE supports "chords", where two separate keypress actions are performed sequentially.

🐛 The shortcut is not shown in Arduino IDE menus when a chord was assigned to the command.

To reproduce

1. Right click on the editor view.
2. Note that no keyboard is shown to the right of the "Format Selection" menu item.
3. Select File > Advanced > Keyboard Shortcuts from the Arduino IDE menus.
   A "Keyboard Shortcuts" view will open in the main panel.
4. In the "Search keybindings" field of the view, type Format Selection

🐛 The command has a keyboard shortcut Ctrl+K Ctrl+F, but it was not shown in the menu.

Expected behavior

Keyboard shortcuts are always shown in the menus when the command has one assigned.

Arduino IDE version

3a70547

Operating system

• Windows
• Linux

Operating system version

• Windows 10
• Ubuntu 21.10

Additional context

In previous versions of the IDE (c. 2.0.0-rc5), a keyboard shortcut was shown in the menu, but it was only the last part of the chord (e.g., "Ctrl+F" for the Ctrl+K Ctrl+F shortcut).

---

Keywords

• "keybinding"

• "key binding"

• "hotkey"

• "hot key"

• "accelerator"

• "key combination"

• "key sequence"

• "key chord"

• "shortcut key"

Issue checklist

• I searched for previous reports in the issue tracker
• I verified the problem still occurs when using the latest nightly build
• My report contains all necessary details

[per1234]

I believe it is this bug:

eclipse-theia/theia#1199