On Thu, 19 Jan 2006 14:01:19 +0100
"Anselm R. Garbe" <garbeam_AT_wmii.de> wrote:
> On Thu, Jan 19, 2006 at 12:13:56PM +0000, Charlie Law wrote:
> > Thanks for the reply. I've got it working now, but, as you
> > say, it doesn't work on the current or opening page. Is there
> > any way to get it to work from the time that wmii first opens
> > up? I've already tried putting the changes (bar on top,
> > windows below) in /usr/local/etc/wmii-2.5/wmiirc so that it
> > would take effect globally.
>
> If you run wmii freshly it should work if you write:
>
> wmiir write /wm/default/page/size 0,$BAR_HEIGHT,east,south
> wmiir write /wm/page/sel/managed/size 0,$BAR_HEIGHT,east,south
>
> (The second line is just for the case that you have
> already-running clients at startup time).
Thank you, Anselm. That fixed things just the way I want them. It helped me learn a bit about how wmii works, too.
Thanks for your work on this window manager. It's really very well done.
Received on Thu Jan 19 2006 - 14:21:09 UTC
This archive was generated by hypermail 2.2.0 : Sun Jul 13 2008 - 15:59:46 UTC