On Monday, April 13, 2015 at 6:46:55 AM UTC-5, Edward K. Ream wrote: > The additional focus borders add a lot. I'll make them the default asap.
I've just filed enhancement #183 <https://github.com/leo-editor/leo-editor/issues/183>. There are enough picky details involved that I do not think it wise to make this part of Leo 5.1 final. I'll put the new stuff in leoSettings.leo soon after 5.1 final goes out the door. That way we shall have lots of time to get the kinks out before 5.2 b1. 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/d/optout.
