patches to support custom font in wm/sh and wm/toolbar menus
Issue #227
new
Original [issue 227](https://code.google.com/p/inferno-os/issues/detail?id=227) created by inferno-os on 2010-03-06T17:08:32.000Z:
While it possible to set custom font for wm/sh, it doesn't affect popup menu font. First patch apply same font to menu items too. (Is there exists more elegant way to do this, without iterating over all menu items?)
wm/toolbar doesn't allow to change default font by default. Second patch add new built-in command 'menufont' to make it configurable.
Comments (1)
-
Account Deleted
- Log in to comment
Comment [
#1](https://code.google.com/p/inferno-os/issues/detail?id=227#c1) originally posted by inferno-os on 2010-03-07T13:04:48.000Z:it should be easier (or at least more obvious how) to change the built-in fonts using only one configure at the right point in the hierarchy.