On 11/13/2013 4:19 PM, Viktor Ransmayr wrote:
Hello everyone,
Am Mittwoch, 13. November 2013 14:57:08 UTC+1 schrieb Jacob Peck:
On 11/13/2013 6:55 AM, Edward K. Ream wrote:
On Tue, Nov 12, 2013 at 5:39 PM, gatesphere <[email protected]
<javascript:>> wrote:
On 11/12/2013 6:36 PM, Matt Wilkie wrote:
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...
I agree.
Edward
Pushed, rev 6286.
Thanks for this reversion of the initial change.
A quick feedback: On Windows (8.x) this is an improvement - but -
still does not re-establish the 'old/ original' experience.
The reason why I might 'complain (a bit) more than others is that I do
most of my work on a 'smaller' laptop screen ...
With kind regards,
Viktor
FWIW, it was not intended to revert to the "original" experience. The
fonts are still larger than they used to be (IMHO, too large).
To get back to laptop usage, you can copy "@data
qt-gui-plugin-style-sheet" to myLeoSettings.leo, and change every
instance of '12pt' in that node to '10pt' or smaller.
-->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.
