Alex Dima e9c78d1d9f New names around keybindings: ...

- a chord is a combination of keys pressed simultaneously.
- a keybinding is a sequence of chords.

2022-12-23 17:20:35 +01:00

..

common

New names around keybindings:

2022-12-23 17:20:35 +01:00

electron-main

…