[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Eli Zaretskii
Subject: bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect
Date: Sat, 14 Sep 2013 09:50:01 +0300

> From: Stefan Monnier <address@hidden>
> Cc: address@hidden,  address@hidden
> 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".

reply via email to

[Prev in Thread] Current Thread [Next in Thread]