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

[Jonatan L. <th...@ho...>]

On Fri, 26 Mar 2004 12:31:36 +0000
Thomas Leonard <ta...@ec...> 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")?

A slider, which when at its maximum will be the same thing as "don't
cover the panel".

But on the other hand, I can't see why you'd want only the half of the
panel to be covered. =) So I guess a simple toggle would be better:
Leave some pixels / Leave the whole panel.

/Jonatan
__
  |   __                 ____        _          ____
  |__/__         _____  _____||___  (_) ____   _____|
  |     )(_____|(  |  )(_____||_____ | (______(_____|
===============|=====================================
             __| http://kymatica.com