Support for Space <leader> key for setting hotkeys!

Actually, this may be considered a Plugin Idea, in which case there already are two. Find these two, plus a user commenting on the “Space ” hotkey as well here: Enhance how hotkeys works(key chords) - #4 by alienm

1 Like