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

[Eli Zaretskii <eliz@gnu.org>]

> From: Jambunathan K <kjambunathan@gmail.com>
> Cc: 15312@debbugs.gnu.org
> Date: Tue, 10 Sep 2013 09:03:56 +0530
> 
> Copy the snippet below to *scratch* buffer and eval them.  (I assume
> that your *scratch* buffer is in emacs-lisp-mode and is colorful)
> 
> Keep C-f-ing and C-b-ing and see what happens.
> 
> You will see that entered and left get triggered when you move from a
> text that has one face to another, NOT when they have the same faces.
> 
>     (defun --point-entered (&rest args)
>       (message "entered: %s" args))
> 
>     (defun --point-left (&rest args)
>       (message "left: %s" args))
> 
>     (add-text-properties (point-min) (point-max) 
>                          '(point-left --point-left
>                                       point-entered --point-entered))

It is not clear to me where did you expect the hooks to be called,
based on the documentation.  Was it for every character? only at
point-min and point-max? something else?

And in any case, why do you assume this is a documentation bug, as
opposed to a bug in the implementation?