On 11/12/2013 6:36 PM, Matt Wilkie wrote:
> > Both the headline, body & log pane is using a font that is
(much) to big
>
> Same here, Win7. myLeoSettings.leo only has 2 nodes "@settings -->
> @enabled-plugins", no theme or font stuff.
I managed to get reasonable sizes again by opening LeoSettings.leo,
Copy Node on "@data qt-gui-plugin-style-sheet", pasting that under
myLeoSettings.leo @settings, search and replace all 14pt and 12pt to
10pt and restarting.
Not sure why 14pt-in-Leo shows so much larger than 14pt-in-others on
my computers, but there you are. Maybe because I don't have the Deja
Vu font?
-matt
Edward, the way I'm seeing all these complaints about font sizes out of
the box makes me think that the defaults should be shrunk down to 12 pt...
-->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.
