July 2nd Tidy: drop-font-tags

The new Tidy is *great*.

"drop-font-tags" has proven to be a life saver -- is there any reason why one
must specify the "clean" option as well in order to use it?  Could not
"drop-font-tags" invoke "clean" automatically, thus removing the need to specify
two options for one action?

/Jelks

Received on Saturday, 3 July 1999 15:58:22 UTC