On Thu, May 15, 2014 at 12:38 PM, 'Terry Brown' via leo-editor > Edward - I know your dealing with other things at the moment, but > please let me know if this scheme doesn't work for your settings / > environment etc. so I can fix it, always hard to know how these changes > impact local settings. Same for everyone else of course - let me know > if this doesn't allow you to do what you were doing before.
I don't see any change except that during startup the tree pane has a thin red border. This changes to my default thicker blue border after startup is complete. Not a big deal, obviously, but it's a little inconsistent. 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.
