On Friday, November 15, 2013 10:22:39 AM UTC-6, Edward K. Ream wrote:
>
> So I'm leaning to 10pt out of the box.
>
Another alternative is 12pt for body text, tree widgets and the log pane;
10pt for everything else.
leo/config now contains leo12-10pt.leo, and I am about use those settings
in leoSettings.leo.
If we are to use 12pt, this 12/10 combination seems better than 12pt
everywhere. Imo, this is a good compromise.
One more thing. I think leoSettings.leo should have disabled copies of all
the
@data qt-gui-plugin-style-sheet
settings from all the leo-x-pt.leo files in leo/config. Having separate
files in leo/config is useful, but having easy access to all @data nodes is
also useful.
Your comments, please, amigos.
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/groups/opt_out.
