I disabled myLeoSettings.leo and created a simple leo file with @settings
and one node with some bodytext:
@settings
@font-family = DejaVu Sans Mono
sample_node / (bodytext) will this font change?
Specifying fonts using this method has no effect at all.
Rule 3. from the Basics of Leo>Configuring Leo does not apply as it doesn't
override the global settings default font.
*...3. Any other .leo file may also contain local settings. Local settings
apply only to that file and override all other settings. It’s best to use
local settings sparingly.*
I filed https://github.com/leo-editor/leo-editor/issues/160
Regards
Lewis
--
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.
