PatR 6a72e48a40 fix rest_on_space ...

When rest_on_space is On, assign same function as for #wait to the
<space> key.  When Off, set that key to Null instead.  Binding some
other command to <space> when rest_on_space is Off doesn't work but
I would classify that as something to be discouraged anyway.

2022-01-21 15:51:05 -08:00

120 KiB

Raw Blame History

View Raw