[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked
From: |
Eli Zaretskii |
Subject: |
bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing. |
Date: |
Tue, 31 Jan 2023 14:14:13 +0200 |
> Date: Mon, 30 Jan 2023 23:07:22 +0200
> Cc: 56682@debbugs.gnu.org, gregory@heytings.org, monnier@iro.umontreal.ca
> From: Dmitry Gutov <dgutov@yandex.ru>
>
> With the previous change that Gregory had made (different limits for
> different features, i.e. font-lock uses much wider narrowing bounds
> which are also customizable) I don't have that much of a horse in that
> race anymore.
Which change is that? I don't think I follow.
> Also note that previously, I'd never have suggested that redisplay code
> changes the value of font-lock-dont-widen.
Hmm... not sure how is that variable related to this particular
thread. Please elaborate.
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing., (continued)
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing., Eli Zaretskii, 2023/01/30
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing., Juri Linkov, 2023/01/30
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing., Eli Zaretskii, 2023/01/30
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing., Juri Linkov, 2023/01/30
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing., Eli Zaretskii, 2023/01/30
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing., Dmitry Gutov, 2023/01/30
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing., Eli Zaretskii, 2023/01/30
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing., Dmitry Gutov, 2023/01/30
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing., Stefan Monnier, 2023/01/30
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing., Dmitry Gutov, 2023/01/30
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing.,
Eli Zaretskii <=
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing., Dmitry Gutov, 2023/01/31
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing., Gregory Heytings, 2023/01/31
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing., Dmitry Gutov, 2023/01/31
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing., Gregory Heytings, 2023/01/31
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing., Dmitry Gutov, 2023/01/31
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing., Stefan Monnier, 2023/01/31
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing., Dmitry Gutov, 2023/01/31
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing., Stefan Monnier, 2023/01/30
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing., Gregory Heytings, 2023/01/30
- bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing., Stefan Monnier, 2023/01/30