GTK+ theme change reset the "panel's margin"

[Olivier]

Jasper,

FYI, I noticed the panel looses its NET_WM_STRUT_PARTIAL when switching
NET_WM_WINDOW_TYPE from NET_WM_WINDOW_TYPE_DOCK to
NET_WM_WINDOW_TYPE_NORMAL and forth.

That's why the panel gets covered.

Cheers,
Olivier.

On Wed, 2004-07-07 at 10:12, Jasper Huijsmans wrote:
> 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
> things:
> - icon themeing (should work now, but doesn't always)
> - positioning; there are still some oddities especially when screen resolution
>   changes.
> - dock type / partial struts / autohide interaction <-- this is where your
>   problem is
> 
> 	Jasper
> 
> 
> 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:
> > >Hello,
> > >
> > >   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.
> > >
> > 
> > -- 
> > LiNuCe
> > _______________________________________________
> > Xfce4-dev mailing list
> > Xfce4-dev at xfce.org
> > http://lunar-linux.org/mailman/listinfo/xfce4-dev
> _______________________________________________
> Xfce4-dev mailing list
> Xfce4-dev at xfce.org
> http://lunar-linux.org/mailman/listinfo/xfce4-dev
-- 
 - Olivier Fourdan - fourdan at xfce.org - http://www.xfce.org -