tsankuanglee 04b9b62bdc RETRO_TAPPING (#1922) ...

* add RETRO_TAP: tap anyway, even after TAP_TERM, if no interruption

* consistent variable name

* add option doc

* change name for consistency

* make RETRO_TAPPING default to off

2017-10-31 11:15:22 -04:00

28 KiB

Raw Blame History

View Raw