On Wed, May 1, 2013 at 8:28 AM, Terry Brown <[email protected]> wrote:
> > I don't care much what you do, so long as focus borders work. If you can > > get rid of all the w.setStyleSheet calls, so much the better. > > > > Just let us know when you push what you have. > > At the moment your original border highlight code is still in place, > because it appears to attempt to do more than you can do with > stylesheets, I'm not exactly sure what it does, but it seems to try and > use different borders for insert and overwrite modes or something. > It's possible that that isn't working and what it does do could be done > with pure stylesheet code, but I was able to work around the problem it > was causing with dynamic font re-sizing, so there's no need to change > anything at present - all the new functionality's been in the trunk for > a while. > Thanks for the update. Thread closed for now. EKR -- 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?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
