On Mon, Jul 19, 2010 at 10:44 AM, kozmikyak <[email protected]> wrote:
> Does anyone know what resource name I might be able to use to change > the font size used on the menubar? It's annoyingly large; I suppose > it's a minor thing, but for a tool I plan to stare at for a good chunk > of the day, I'd like to be able to make it match my other apps. Actually, you use @font menu text font, *not* a typical tk resource. Yes, this is special case, and it confused me too, but it can hardly be helped. Do this: Search for @font menu text font in leoSettings.leo. Copy the entire node to myLeoSettings.leo. Change the body text from menu_text_font_family = None menu_text_font_size = None menu_text_font_slant = None menu_text_font_weight = None to, say, menu_text_font_family = None menu_text_font_size = 8 menu_text_font_slant = None menu_text_font_weight = None BTW, the following does work in the resource file: *Label*Font: Verdana 8 bold but the menu settings above override it for menus. HTH. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
