[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: |
Tue, 31 Jan 2023 16:46:11 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
> Speaking of additional slowdowns, though, at least in theory -- both
> syntax-ppss and tree-sitter drop their current parse result when point-min
> changes.
FWIW, `syntax-ppss` keeps 2 caches: one for point-min=1 and one for the
other cases. So narrowing doesn't quite "drop the current parse", it
just temporarily ignores it, but recovers it when we exit the narrowing.
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/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 <=
- 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