On 5/29/06, Anselm R. Garbe <[EMAIL PROTECTED]> wrote:
Titlebars will be editable in wmii-4. Also, for stacking
looking fwrd for wmii-4 ;)

is also no option, because this would make an additional
interaction necessary to show/hide them on the fly.
i agree...

After considering the whole mess, we decided against an option
if anyone still miss it, the closest i went is to switch to this:

$ echo -n "-*-*-*-*-*-*-1-*-*-*-*-*-*-*" | wmiir write /def/font

_______________________________________________
[email protected] mailing list
http://wmii.de/cgi-bin/mailman/listinfo/wmii

Reply via email to