On Mon, May 15, 2017 at 6:41 PM, Adrian Calvin <[email protected]> wrote:
> 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. > This looks like a bug, either in Leo or in Qt's stylesheet. Please file a bug report here <https://github.com/leo-editor/leo-editor/issues>, so we can discuss it further. Edward -- 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.
