After the most recent changes (from the first introduction of the gutter) the gutter-font-family is no longer setting the gutter font for me. I have:
@string gutter-font-family = Courier Additionally my color settings are still not being applied. Again, I am using the leo_dark_theme 0 (solarized) theme. On Friday, July 3, 2015 at 5:09:31 PM UTC-4, Edward K. Ream wrote: > > On Thu, Jul 2, 2015 at 9:39 AM, Edward K. Ream <[email protected] > <javascript:>> wrote: > > 4fcd91 fixes several configuration problems by not using > > getFontFromParams in the gutter class. Indeed, getFontFromParams is > intended only for use by the syntax coloring code. All the other code can > and should use Leo's stylesheets. > > Most settings apply to stylesheets. For such settings @-replacements are > made. But the syntax-coloring settings do have the @-replacements applied. > > 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 http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
