Re: Workaround a GNOME bug when it doesn't respect window's full screen state

2006-07-03 Thread Dmitry Timoshkov
"Joseph Garvin" <[EMAIL PROTECTED]> wrote: this patch makes GNOME dock disappear when a window enters full screen state. But GNOME top panel still remains on top, don't know yet how to workaround it. Shouldn't a bug be submitted with Gnome instead? Makes sense as a Crossover patch but not as

Re: Workaround a GNOME bug when it doesn't respect window's full screen state

2006-07-03 Thread Joseph Garvin
Dmitry Timoshkov wrote: > Hello, > > this patch makes GNOME dock disappear when a window enters full screen state. > But GNOME top panel still remains on top, don't know yet how to workaround it. > Shouldn't a bug be submitted with Gnome instead? Makes sense as a Crossover patch but not as a win