From: Tony H. <h...@re...> - 2008-05-12 21:41:58
|
In <200...@ti...n> Tony Houghton <h...@re...> wrote: > I'll try to get around to it tonight. I wonder if we also ought to get > rid of the panel_is_a_dock option and force it on, or at least make it > default to on. Setting the DOCK type hint is the correct thing to do > and I'm not sure why anyone would want to disable it. Here's my patch to add a keep panel on top option. If you applied the previous patch revert it when you apply this. Reading the tooltip for the dock option I realised it could be to support window managers that are aware of the DOCK type hint but not the BELOW state, so I haven't deleted the option, but I have changed it to TRUE by default. -- TH * http://www.realh.co.uk |