On Thu, 15 Mar 2018 12:28:30 -0700 (PDT) Chris George <technat...@gmail.com> wrote:
> To change fonts sizes, open @theme Breeze Dark-->Settings for Leo > Breeze Dark-->Fonts & text sizes and you can change font sizes for > the three panes. I haven't abstracted the "default" font size that > applies to a few things yet, but when I do font sizes will be > changeable in the same place. Just a heads up to be careful with font setting names, the mechanism that handles ctrl-mousewhere / `zoom-in` / `zoom-out` commands to dynamically resize the body font size depends on quite specific setting names. Cheers -Terry -- 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.