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

From: Eli Zaretskii <[email-masked]>
Date: Fri, 13 Sep 2013 19:45:26 +0300

> From: Stefan Monnier <[email-masked]>
> Cc: [email-masked],  [email-masked]
> Date: Fri, 13 Sep 2013 12:28:14 -0400
> 
> > 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.