Hello. Via settings file some font options for some parts of leo may be changed, like: for body, for tree, for log etc. But still some fonts are always have some pre-defined value: for buttons in toolbar, for find and nav pane etc. This is very inconvenient in certain circumstances.
Is there any way to change the font for the app itself? I do really want to make it smaller at least for Find and Nav panes. Thanks! -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/ad752a5d-6bb8-47ac-ad32-c57799741277%40googlegroups.com.
