>>>> "jpw" == John Paul Wallington
<jpw(a)shootybangbang.com> writes:
jpw> There is a third problem, namely that default faces for
jpw> highlight and zmacs-region (perhaps others) don't get set
jpw> correctly.
There was a problem with the 'gtk display type tag not getting defined
correctly, which led to not doing any gtk-specific face setup at all.
Then when that got fixed, there was a mistake in the enabling code for
many faces. That was fixed in the latest release 21.4.5 (I think, I
haven't tested it).
So please confirm in 21.4.5.
I haven't had much time to synch these changes to 21.5.x, that's on my
agenda.
--
Institute of Policy and Planning Sciences
http://turnbull.sk.tsukuba.ac.jp
University of Tsukuba Tennodai 1-1-1 Tsukuba 305-8573 JAPAN
Don't ask how you can "do" free software business;
ask what your business can "do for" free software.