[wmii] PATCH: Make font for bar configurable separately

From: Michael Stapelberg <michael_AT_stapelberg.de>
Date: Wed, 4 Feb 2009 16:30:55 +0100


as the bar contains system information which one might want to see at a quick
glance, a bigger font is good. However, setting a bigger font is only possible
with increasing the overall font - which is not necessarily desirable.

The attached patch from Maik Fischer fixes this by adding a new configuration
item called barfont. It behaves like font in /ctl.

Best regards,

Received on Wed Feb 04 2009 - 15:30:55 UTC

This archive was generated by hypermail 2.2.0 : Wed Feb 04 2009 - 15:36:06 UTC