A leader menu for Dance
I didn't find a nice way to use space
as a leader key when the terminal is focused, so I'm using f1
. shift+space
may be a nice alternative.
[
{
"key": "space",
"command": "dance.openMenu",
"args": { "menu": "leader" },