Re: Troublesome background of Text widget
- From: Paul Barton-Davis <pbd Op Net>
- To: Bruce Ide <bruce ide echostar com>
- Cc: gtk-list gnome org
- Subject: Re: Troublesome background of Text widget
- Date: Thu, 08 Jun 2000 11:50:51 -0400
>> unless, of course, you happen to be using a pixmap theme, in which
>> case its whatever the damn pixmap engine decides its going to be
>> regardless of other style settings.
>>
>> i know, i should file a bug report.
>
>Why? Is that a bug? Sounds like a feature to me.
Assertion: GTK has a default "theme" that is used when you specify nothing.
* If I don't specify a theme, and I don't use a GTK rc file, I get the
default theme color.
* If I don't specify a theme, and I do use a GTK rc file, I get the color
from the rc file.
* If I specify a theme, and I don't use a GTK rc file, I get the theme default.
All of these behaviours seem correct to me.
So, the question is: what should happen when I specify a theme *and* a GTK
rc file ?
In reality, the answer gets divided in two:
* with a non-pixmap theme, the rc file, because it is loaded
subsequent to the theme and merely re-specifies the same things
as the theme specification, overrides the theme default.
* with a pixmap theme, the rc file is ignored (well, for some things
such as the `base' display of a text entry)
I believe that the rc file should override the default action of the
theme, always.
Do you disagree ?
--p
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]