> On Fri, 15 Oct 2004 18:13:33 -0700 Ryan Freeman <[EMAIL PROTECTED]>
wrote:
> > On Fri, Oct 15, 2004 at 09:55:53AM -0700, Jeremy C. Reed wrote:
> > > I think it would be useful to have a blackbox submenu that can be
used
> > > to toggle various window manager properties. I think it already
handle
On Fri, 15 Oct 2004 18:13:33 -0700 Ryan Freeman <[EMAIL PROTECTED]> wrote:
> On Fri, Oct 15, 2004 at 09:55:53AM -0700, Jeremy C. Reed wrote:
> > I think it would be useful to have a blackbox submenu that can be used
> > to toggle various window manager properties. I think it already handles
> > mos
On Fri, Oct 15, 2004 at 09:55:53AM -0700, Jeremy C. Reed wrote:
> I think it would be useful to have a blackbox submenu that can be used to
> toggle various window manager properties. I think it already handles most,
> like sticky, maximized vertical, maximized horizontal, etc.
>
> I think it woul
I think it would be useful to have a blackbox submenu that can be used to
toggle various window manager properties. I think it already handles most,
like sticky, maximized vertical, maximized horizontal, etc.
I think it would be good to have a toggle for turning on and off
decorations too (maybe f