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

[Stefan Monnier]

>> > 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.


        Stefan