I am finding that if I customize an element's font (e.g. making its font
weight bold), crtl+ scroll wheel will no longer affect its size. For
illustrative purposes:
@settings
@font code
** keyword1_font_weight=bold **
Between the ** is the "body" content. The keyword group is, in fact, bold
now, but the size will not grow and shrink with the rest of the text in the
body pane.
Save, reload settings, scroll wheel no longer has any effect on the
keyword1 group. Remove the setting above, and it begins working again.
--
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 post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
