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

From: Eli Zaretskii <[email-masked]>
Date: Fri, 13 Sep 2013 22:27:29 +0300

> From: Stefan Monnier <[email-masked]>
> Cc: Jambunathan K <[email-masked]>,  [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.

Interval-ish and "intervals" are not the same.  Intervals can (and do)
overlap, and they actually represent a tree of text extents.  Text
properties cannot overlap.