patches to support custom font in wm/sh and wm/toolbar menus

[GoogleCodeExporter]

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.

Original issue reported on code.google.com by powerman...@gmail.com on 6 Mar 2010 at 5:08

Attachments:

• wm_sh-font.patch
• wm_toolbar-menufont.patch

[GoogleCodeExporter]

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.

Original comment by Charles....@gmail.com on 7 Mar 2010 at 1:04

• Changed state: Accepted
• Added labels: Type-Enhancement, Priority-High