Re: jit-lock refontifies too much

[Richard M. Stallman]

    I somewhat fell between two stools here.  With respect to my first
    proposal Stefan judged ".. yet-another-text-property is a waste of
    precious CPU and memory resources."

I do not necessarily agree with him; I think it would depend on how
much good the feature does.

I am not sure how much good it would do, so I don't know whether this
idea is worth while.

     > It means "the before and after ppss values do not match".
     >
     > You're arguing this can't happen very easily.  Maybe that is true.
     >

    I didn't argue that.  Complete ppss are hardly ever "in sync" after a
    modification of preceding text.  The values of ppss I need to determine
    whether context changed might be in sync quite often.

"In sync" doesn't mean entirely equal, it means that they show
there was no relevant change.

By the way, in principle we could add more info to the ppss value so
that font lock gets whatever info it needs so as to work correctly.