GTK+ theme change reset the "panel's margin"
linuce at wanadoo.fr
Wed Jul 7 09:08:29 CEST 2004
The continuation of this great adventure :)
6) Check on and off the "Always on top" check box and close the
panel properies window by clicking the "Close" button. At this point,
from a user point of view, you didn't change anything : you just
activate and deactivate an option, so the final result should be as if
you didn't make any change ;
7) Maximize a Window : it cover the panel.
THE END ;)
> I'm running latest XFCE4 CVS checked out this night (GMT+1) : I have
> just try a checkout this morning in case something changes but there was
> not change, so I'm really running the latest CVS version. I notice a
> little bug I will try to describe my best to reproduce it. This time, I
> didn't make any screenshots :)
> 1) Be sure the panel has not "always on top" and "auto hide" on ;
> 2) Maximize a windows : it cover the panel ;
> 3) Change your GTK+ theme in "User Interface" ;
> 4) Open an XTerm and maximize it : it won't cover the panel. You can
> try to maximize whatever you want, nothing will cover the panel since a
> margin apply as if "always on top" was on (when I switch on "always on
> top", a margin apply to the border the panel stand to not to cover it
> when a window is maximized) ;
> 5) Go to Panel properties : "always on top" is really off even if
> maximized window behaves as if it were on.
> I don't know if I describe the problem very well but I expect any
> maximized window to cover the panel as it did before the GTK+ theme change.
More information about the Xfce4-dev