[Hotkeys] Different combos for the same action

[warpdesign]

Environment

• Package version(s): 3.6.1
• Browser and OS versions: Chrome 66 (Electron 3.x)

Feature request

Right now, the only way to have two different hotkeys for the same action is to define two <Hotkey>elements. The problem is that doing so will make the action appear twice in the hotkeys dialog.

Suggestion: have the ability to define several combos for the same action.

Examples

For example, this would add two different hotkeys for the foo action.

<Hotkey label="foo" combo="mod + e, mod + s">
</Hotkey>

In the hotkeys dialog, only one line would appear, showing the two different combos for foo: mod+e and mod+s.