i've implemented this as #on, #off, and #pop. i have no attachment to
the names, or whether there should be a "push" in front of "on" or
"off". it's lightly tested -- there may well be corner cases in
complicated drafts that will get it confused. it works for my simple
usages. comments/suggestions welcome.
Wow, THAT was quick! It looked good to me so I pushed it to master
so it wouldn't get lost. I'll play with it some more later.
--Ken
_______________________________________________
Nmh-workers mailing list
Nmh-workers(_at_)nongnu(_dot_)org
https://lists.nongnu.org/mailman/listinfo/nmh-workers