Kyle Jones <kyle_jones(a)wonderworks.com&gt; writes: Yup. Current default background, while not perfect, is probably a good compromise. I think that our font-lock defaults are not all that bad... (ok, this was a plug) It's just personal preference. It was that way in 20.2, for example, and whenever I start 20.2, I notice how nice the darker widgets look. -- Hrvoje Niksic <hniksic(a)srce.hr&gt; | Student at FER Zagreb, Croatia --------------------------------+-------------------------------- Speak softly and carry a +6 two-handed sword.