"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
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