[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked
From: |
Stefan Monnier |
Subject: |
bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing. |
Date: |
Mon, 30 Jan 2023 16:49:34 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
> Also note that previously, I'd never have suggested that redisplay code
> changes the value of font-lock-dont-widen.
It would be ugly for redisplay code to mess with font-lock data like
`font-lock-dont-widen`. Instead, it should let-bind its own variable to
indicate that the long-lines code has currently installed a narrowing,
and `font-lock.el` can decide whether to pay attention to that var.
Stefan
- 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., Gregory Heytings, 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., 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 <=
- 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/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., 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