[dev] wmii bar height

From: LionMV <LionMV_AT_yandex.ru>
Date: Wed, 23 Feb 2011 00:41:25 +0300

Is there any way to manipulate wmii bar height separately from window-titles height?
Received on Tue Feb 22 2011 - 22:41:25 CET

This archive was generated by hypermail 2.2.0 : Tue Feb 22 2011 - 22:48:02 CET