On Thu, 19 Jan 2006 14:01:19 +0100 "Anselm R. Garbe" <[EMAIL PROTECTED]> 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. _______________________________________________ [email protected] mailing list http://wmii.de/cgi-bin/mailman/listinfo/wmii
