From: Thomas L. <ta...@ec...> - 2004-03-26 12:33:08
|
On Fri, Mar 26, 2004 at 11:07:13PM +1100, Tristan McLeay wrote: [...] > The ROX panel asks for a few pixels on the edge; this > means you get the best implementation of auto-hide > possible (visible when not covered rather then the > disappearing Windows thing). If pointing to its border > doesn't bring it up front, you have a problem. > Otherwise make a suggestion to Thomas, but the Filer > already has a lot of options... Not in the panel section, though... ;-) Should it be a toggle ("Don't cover panel") or a slider ("Fraction of panel to cover")? Anyway, feel free to send a patch... -- Thomas Leonard http://rox.sourceforge.net tal00r at ecs.soton.ac.uk tal197 at users.sourceforge.net GPG: 9242 9807 C985 3C07 44A6 8B9A AE07 8280 59A5 3CC1 |