[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#21092: 25.0.50; Option `lazy-highlight-max-at-a-time' does not work
From: |
Eli Zaretskii |
Subject: |
bug#21092: 25.0.50; Option `lazy-highlight-max-at-a-time' does not work |
Date: |
Fri, 28 Aug 2015 19:03:45 +0300 |
> Date: Fri, 28 Aug 2015 08:59:34 -0700 (PDT)
> From: Drew Adams <drew.adams@oracle.com>
> Cc: 21092@debbugs.gnu.org
>
> I am interested in the general question of whether the
> display engine precludes highlighting more than what is "on screen".
You can, of course, put the overlays or properties with some face on
the entire buffer. So no, the display engine doesn't preclude that.
- bug#21092: 25.0.50; Option `lazy-highlight-max-at-a-time' does not work, Drew Adams, 2015/08/27
- bug#21092: 25.0.50; Option `lazy-highlight-max-at-a-time' does not work, Eli Zaretskii, 2015/08/28
- bug#21092: 25.0.50; Option `lazy-highlight-max-at-a-time' does not work, Drew Adams, 2015/08/28
- bug#21092: 25.0.50; Option `lazy-highlight-max-at-a-time' does not work, Eli Zaretskii, 2015/08/28
- bug#21092: 25.0.50; Option `lazy-highlight-max-at-a-time' does not work, Drew Adams, 2015/08/28
- bug#21092: 25.0.50; Option `lazy-highlight-max-at-a-time' does not work,
Eli Zaretskii <=
- bug#21092: 25.0.50; Option `lazy-highlight-max-at-a-time' does not work, Drew Adams, 2015/08/28
- bug#21092: 25.0.50; Option `lazy-highlight-max-at-a-time' does not work, Drew Adams, 2015/08/28
- bug#21092: 25.0.50; Option `lazy-highlight-max-at-a-time' does not work, Drew Adams, 2015/08/28
- bug#21092: 25.0.50; Option `lazy-highlight-max-at-a-time' does not work, Juri Linkov, 2015/08/28
- bug#21092: 25.0.50; Option `lazy-highlight-max-at-a-time' does not work, Drew Adams, 2015/08/28
- bug#21092: 25.0.50; Option `lazy-highlight-max-at-a-time' does not work, Eli Zaretskii, 2015/08/29
- bug#21092: 25.0.50; Option `lazy-highlight-max-at-a-time' does not work, Drew Adams, 2015/08/29
- bug#21092: 25.0.50; Option `lazy-highlight-max-at-a-time' does not work, Juri Linkov, 2015/08/29
- bug#21092: 25.0.50; Option `lazy-highlight-max-at-a-time' does not work, Eli Zaretskii, 2015/08/29
- bug#21092: 25.0.50; Option `lazy-highlight-max-at-a-time' does not work, Drew Adams, 2015/08/30