Re: [wmii] How to move bar to top without covering windows

From: Anselm R. Garbe <garbeam_AT_wmii.de>
Date: Wed, 18 Jan 2006 11:14:21 +0100

On Tue, Jan 17, 2006 at 10:24:11PM +0100, Christof Musik wrote:
> wmiir write /wm/default/page/size '0,$BAR_HEIGHT,east,south'

That won't work because $BAR_HEIGHT is within quotes, it should
look like:

wmiir write /wm/default/page/size 0,$BAR_HEIGHT,east,south

or like:

wmiir write /wm/default/page/size '0,'^$BAR_HEIGHT^',east,south'

Regards,

-- 
 Anselm R. Garbe  ><><  www.ebrag.de  ><><  GPG key: 0D73F361
Received on Wed Jan 18 2006 - 11:14:21 UTC

This archive was generated by hypermail 2.2.0 : Sun Jul 13 2008 - 15:59:44 UTC