On Tue, Nov 12, 2013 at 5:39 PM, gatesphere <[email protected]> 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 -- 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.
