Re: [rox-devel] OroboROX Window Manager and ROX-Session

[Rimas K. <rq...@ak...>]

Thomas Leonard wrote:
> 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...
> 
> 

what about both? :) However, for me the toggle would be enough.. :)

RQ