On Fri, Mar 17, 2023 at 10:53 AM Thomas Passin <[email protected]> wrote:
- There is no *default_font_dict *in leoColorizer.py. It's defined in the node BaseColorizer.defineDefaultFontDict in leoColorizer.py. > The body of such nodes should contain one or more settings. For example, for the @color rest.comment node: My apologies. I should have said @*font* rest.comment node >> This is all documented in leoSettings.leo, where the context may be clearer. > The only documentation I can find (in the referenced PR) is "@font settings for particular languages must have the form @font <language-name>.<tag> where <tag> is one of the tags in the default_font_dict in leoColor.py." Yes, that's right. > Please give us some actual working examples. > For example, suppose I want rest headlines to be 16 pt cyan Boldoni font. What settings do I need to add to a theme file to achieve that? You would use your existing settings to do that, same as always. My theme file contains these settings (headlines): @string font-family = DejaVu Sans Mono, Inconsolata, Droid Sans Mono @string font-family-body = @font-family @string font-family-tree = @font-family @string font-size-tree = 12pt The new code doesn't change those settings. So set your settings accordingly. Or leave them alone :-) Remember, the new code shouldn't affect your theme files. The new code only affects syntax-coloring. 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS0%2BcYNZ5t2qozi_8ky5DVvcUzx3%2BW5sRusaabWFuzo8jQ%40mail.gmail.com.
