bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect

[Stefan Monnier]

>> > Sorry, I'm still in the dark.  Does the code presented in
>> > http://debbugs.gnu.org/cgi/bugreport.cgi?bug=15312#11 work correctly
>> > and as expected, or does it not?
>> AFAICT, yes, it works fine.
> Then please explain why it makes sense to call or not call these hooks
> depending on whether some other unrelated text property changed at
> point.

Hmm... I missed that part.  So it's sensitive to the C-level division
into "struct interval"?  That would be a bug, indeed.


        Stefan