3 ms·
comma is really useful as a leader and it's not so far away on the keyboard. No one I have heard of uses ctrl for leader(it would ruin a lot of ctrl-whatever co
by weaksauce 13y ago
comma is really useful as a leader and it's not so far away on the keyboard. No one I have heard of uses ctrl for leader(it would ruin a lot of ctrl-whatever commands) and by default the leader is a backslash.