On Tue, 25 Mar 2014 10:23:54 -0700 (PDT) "F.S." <[email protected]> wrote:
> So I anonymized the thing I was working on (I did notice that > "replace all" is rather painfully slow and I don't know how to > specify wildcard matching) and will attach it to the end of this > post. I don't use any custom settings. If I scroll to the end of the > node and I change the focus in anyway the scroll would jump. 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. Cheers -Terry -- 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.
