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

From: Eli Zaretskii <[email-masked]>
Date: Sat, 14 Sep 2013 09:50:01 +0300

> From: Stefan Monnier <[email-masked]>
> Cc: [email-masked],  [email-masked]
> Date: Fri, 13 Sep 2013 16:35:09 -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.
> 
> I the manual, we do not formally define "interval", so I think that
> something that describes a contiguous sequence of characters *is* an
> interval in that context, even if it's not necessarily an
> interval-in-the-particular-sense-discussed-nearby.

Then perhaps the right place for some such text is in "Property
Search", where those "intervals" are called "chunks of text that have
the same property value".