GTK+ theme change reset the "panel's margin"
jasper at xfce.org
Wed Jul 7 10:12:26 CEST 2004
Thanks for the report. There seems to be a lot of interaction between the dock
type hint (always on top), partial struts (don't allow other windows to cover
the panel) and autohide. I'm afraid it will take some time to find out exactly
what is going on.
Due to serious lack of time I think I'll limit my goals for 4.2 to three
- icon themeing (should work now, but doesn't always)
- positioning; there are still some oddities especially when screen resolution
- dock type / partial struts / autohide interaction <-- this is where your
On Wed, Jul 07, 2004 at 09:08:29AM +0200, LiNuCe wrote:
> 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 wrote:
> > 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.
> Xfce4-dev mailing list
> Xfce4-dev at xfce.org
More information about the Xfce4-dev