On Tue, Mar 25, 2014 at 12:37 PM, Terry Brown <[email protected]> wrote: > On Tue, 25 Mar 2014 10:23:54 -0700 (PDT) > "F.S." <[email protected]> wrote: > >> So I anonymized the thing I was working on... > > Thanks for doing that, it made it easy for me to test and confirm that > the current gui hierarchy manipulating border code still exists and is > used and causes the problem you show, and the style based border > highlighting which is disabled be default does not have the same > problem. > > I will try and switch the default over asap.
Thanks, Terry, for your help with this. 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.
