On 11/15/2013 8:43 AM, Edward K. Ream wrote:
Leo's config directory now contains 4 new .leo files that illustrate
how Leo looks at various font sizes: leo10pt.leo, leo12pt.leo,
leo14-12pt.leo and leo14pt.leo.
These files contain nothing but:
- A file to monitor xxxpt appearance
- @settings
- @data qt-gui-plugin-style-sheet
It's highly instructive to see these side-by-side.
If I understand the general consensus, out of the box Leo should look
like either leo10pt.leo or leo12pt.leo. Younger Leonistas may prefer
10pt; older 12pt.
Note that all 4 files use 10pt for text in the Find Panel. Someone
(Viktor?) recently shocked me by pointing out that menu items used
small (10pt) text. I had completely missed how small the system
defaults were! Leo uses those the system defaults for script button
labels in all four files. Again, this seems best, even for my
geriatric eyes.
In short, 10pt seems surprisingly good in many contexts, even for me.
The only remaining question is whether Leo should use 10pt or 12pt for
body text, outline headings and log text.
Your comments please.
Edward
--
My personal vote is 10pt everywhere, though this has less to do with me
being a younger Leonista and more to do with screen real-estate. I just
prefer seeing more text at once, without having to scroll. I often work
with either a single small monitor, or on a smallish laptop, so being
able to see more at once is a usability issue for me.
That said, the 12pt file didn't look too terrible either, just a bit
larger than expected out of the box.
The two 14pt files are all but unusable for me.
Then again, everything I said above is completely personal to *my* work
flow. I use a customized @data qt-gui-plugin-style-sheet anyway :)
-->Jake
--
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.
