Is there any way to manipulate wmii bar height separately from window-titles 
height?

Reply via email to