On Wed, Nov 13, 2013 at 7:57 AM, Jacob Peck <[email protected]> wrote:
> Pushed, rev 6286. > Thanks. I have it and it works as expected. The only downside (for me) is that now I won't be able to continually monitor the @data qt-gui-plugin-style-sheet leoSettings.leo. That is, if I want the larger fonts (important for these old eyes) I'll have to use my own copy of @data qt-gui-plugin-style-sheet in myLeoSettings.leo. Oh well, that can't be helped. I announced Leo 4.11 final more widely yesterday. So far there are less than 200 downloads. No complaints yet about this issue... I'm thinking that 4.11.1 will happen within a month. When that happens we will want to ensure that the present smaller fonts are used, and that Leo works without myLeoSettings.leo being present. 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.
