PatR 50665d10f2 m #optionsfull ...

Preceding #options or the key bound to that with m runs 'advanced'
options.  Implement the inverse:  preceding #optionsfull or the key
bound to that with m now runs 'simple' options.

2022-08-19 07:03:35 -07:00

259 KiB

Raw Blame History

View Raw