"Stephen J. Turnbull" <turnbull(a)sk.tsukuba.ac.jp> write
custom-set-faces has some known infelicities in that it trashes all
non-Custom information about faces. I don't see how that relates
directly to your problem, but try adding
Hi Stephen,
Tried your suggestion but it didn't seem to work.
I'm wondering what has changed between 20.4 and 21.0?
--
David H. Wang
(408) 525-2720