[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: Stefan Monnier
Subject: bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect
Date: Fri, 13 Sep 2013 16:35:09 -0400
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux)

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


reply via email to

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