[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#15899: 24.3.50; regression: `region' overlay is lower priority than
From: |
Eli Zaretskii |
Subject: |
bug#15899: 24.3.50; regression: `region' overlay is lower priority than default |
Date: |
Fri, 15 Nov 2013 18:43:50 +0200 |
> Date: Fri, 15 Nov 2013 07:55:27 -0800 (PST)
> From: Drew Adams <drew.adams@oracle.com>
> Cc: 15899@debbugs.gnu.org
>
> > Isn't it confusing that the region highlighting is non-contiguous
> > when an overlay is in its middle?
>
> Yes. And when a `face' or other display-related text property is
> in its middle. Or is at either end. Or extends across the whole
> region (which includes when the region is in the middle of a
> stretch of highlighting). I know from experience with the new
> (and old) behavior.
>
> Such situations are visually confusing to users. And they can
> complicate operating on text properties and, more generally,
> using text properties and overlays.
>
> This change should be reverted as soon as possible.
It needs not be reverted, I think. We just need to make the priority
of the region overlay higher than any other overlay.
- bug#15899: 24.3.50; regression: `region' overlay is lower priority than default, (continued)
- bug#15899: 24.3.50; regression: `region' overlay is lower priority than default, Dmitry Gutov, 2013/11/16
- bug#15899: 24.3.50; regression: `region' overlay is lower priority than default, Eli Zaretskii, 2013/11/16
- bug#15899: 24.3.50; regression: `region' overlay is lower priority than default, Dmitry Gutov, 2013/11/16
- bug#15899: 24.3.50; regression: `region' overlay is lower priority than default, Drew Adams, 2013/11/16
- bug#15899: 24.3.50; regression: `region' overlay is lower priority than default, Drew Adams, 2013/11/16
- bug#15899: 24.3.50; regression: `region' overlay is lower priority than default, Drew Adams, 2013/11/16
- bug#15899: 24.3.50; regression: `region' overlay is lower priority than default, Drew Adams, 2013/11/15
- bug#15899: 24.3.50; regression: `region' overlay is lower priority than default,
Eli Zaretskii <=
- bug#15899: 24.3.50; regression: `region' overlay is lower priority than default, Drew Adams, 2013/11/15
- bug#15899: 24.3.50; regression: `region' overlay is lower priority than default, Eli Zaretskii, 2013/11/15
- bug#15899: 24.3.50; regression: `region' overlay is lower priority than default, Drew Adams, 2013/11/15
- bug#15899: 24.3.50; regression: `region' overlay is lower priority than default, Stefan Monnier, 2013/11/15
- bug#15899: 24.3.50; regression: `region' overlay is lower priority than default, Eli Zaretskii, 2013/11/16
- bug#15899: 24.3.50; regression: `region' overlay is lower priority than default, Stefan Monnier, 2013/11/16
- bug#15899: 24.3.50; regression: `region' overlay is lower priority than default, Drew Adams, 2013/11/16
- bug#15899: 24.3.50; regression: `region' overlay is lower priority than default, Stefan Monnier, 2013/11/16
- bug#15899: 24.3.50; regression: `region' overlay is lower priority than default, Daniel Colascione, 2013/11/17
- bug#15899: 24.3.50; regression: `region' overlay is lower priority than default, Stefan Monnier, 2013/11/17