On Saturday, January 14, 2017 at 9:52:59 AM UTC-5, Edward K. Ream wrote: > > On Sat, Jan 14, 2017 at 7:23 AM, Edward K. Ream <[email protected]> > wrote: > > > > Calling QTextDocument.markContentsDirty > > [in the legacy code] > does not cause a recoloring. > > Hurray! Counts show that leo_h.highlightBlock *is* being called the > expected number of times. But nothing happens. > > A call to viewPort.update() should make the new styles visible. >
Actually, the jEdit colorizer was not being inited properly. The colorizer is now working well and very quickly. One bug remains. Switching nodes does not always properly set the colorizing language. This is surprisingly difficult, made all the more so by subtle differences in which methods get called when. On my Python 3 machine, it appears that LeoHighlighter.rehighlight is *never* called. That shouldn't be a big problem. One would think that LeoTree.set_body_text_after_select could properly init everything. But bugs still remain. Rebecca and I are leaving tomorrow for Madison. We will be on the road about a week. I would like to up what I have for reference, but I probably can't in the trunk. Time to create a branch :-) 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 https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
