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