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

From: Stefan Monnier <[email-masked]>
Date: Fri, 13 Sep 2013 13:19:54 -0400

> That's not because of the text properties, but because mouse-highlight
> implementation is explicitly coded that way.

It's done elsewhere, indeed, but to the user the end-result is the same:
the text-properties end up describing an interval-ish thing.

        Stefan