>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 [email protected] https://lists.nongnu.org/mailman/listinfo/nmh-workers
