Kyle Jones <kyle_jones(a)wonderworks.com> writes:
Andy Piper writes:
> The outstanding issue now (as I see it) is that by default
> -bg affects the default face as well. I agree with Didier
> on this, it should not look the same as the widgets and
> IMHO we should therefore set the _default face background_
> to something sensible.
How different do you want it? White was deemed too bright, gray75
was deemed too dark. gray80 was the compromise color.
Yes, I believe I was the one who pushed gray80 at the time, with your
and Steve's support. I still think it's a better default than white.
On the other hand, I liked the widgets being slightly darker (gray75).
This was lost somewhere during the 20.5 development cycle.
--
Hrvoje Niksic <hniksic(a)srce.hr> | Student at FER Zagreb, Croatia
--------------------------------+--------------------------------
"Memory is like an orgasm. It's a lot better if you don't have to
fake it." -- Seymour Cray, on virtual memory