[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: |
Fri, 13 Sep 2013 22:27:29 +0300 |
> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: Jambunathan K <kjambunathan@gmail.com>, 15312@debbugs.gnu.org
> 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.
- bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect, (continued)
- bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect, Eli Zaretskii, 2013/09/13
- bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect, Stefan Monnier, 2013/09/13
- bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect, Eli Zaretskii, 2013/09/13
- bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect, Stefan Monnier, 2013/09/13
- bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect, Eli Zaretskii, 2013/09/14
- bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect, Stefan Monnier, 2013/09/16
- bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect, Eli Zaretskii, 2013/09/16
- bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect, Jambunathan K, 2013/09/13
- bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect, Eli Zaretskii, 2013/09/13
- bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect, Stefan Monnier, 2013/09/13
- bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect,
Eli Zaretskii <=
- bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect, Stefan Monnier, 2013/09/13
- bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect, Eli Zaretskii, 2013/09/14
- bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect, Eli Zaretskii, 2013/09/13
- bug#15312: Info (point-entered, point-left): Doc incomplete, hence incorrect, Jambunathan K, 2013/09/14