[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Tracking buffer positions across time, without markers (was Re: PL s
From: |
Eli Zaretskii |
Subject: |
Re: Tracking buffer positions across time, without markers (was Re: PL support) |
Date: |
Mon, 11 May 2020 05:27:31 +0300 |
> From: Stefan Monnier <address@hidden>
> Cc: Eli Zaretskii <address@hidden>, address@hidden,
> João Távora
> <address@hidden>
> Date: Sun, 10 May 2020 16:46:29 -0400
>
> If you have the option to ask for a more up-to-date version of the data
> to be sent, you can obviously throw the data away, but even in that case
> you should be able to do better with fairly little work: use an
> after-change-function to keep track of just 2 markers that indicate the
> beginning and end of the part of the buffer that's been modified.
> Then you can easily translate all the positions before the first and
> after the second marker and only discard the data between the two.
This is all possible, of course, but I don't (yet) see why it would be
necessary. We survive without this complexity when using JIT
font-lock, and any alternative back-end for the same job should be
able to reuse the same basic architecture.
- Re: Tracking buffer positions across time, without markers (was Re: PL support), (continued)
- Re: Tracking buffer positions across time, without markers (was Re: PL support), Clément Pit-Claudel, 2020/05/09
- Re: Tracking buffer positions across time, without markers (was Re: PL support), Eli Zaretskii, 2020/05/10
- Re: Tracking buffer positions across time, without markers (was Re: PL support), Clément Pit-Claudel, 2020/05/10
- RE: Tracking buffer positions across time, without markers (was Re: PL support), Drew Adams, 2020/05/10
- Re: Tracking buffer positions across time, without markers (was Re: PL support), Eli Zaretskii, 2020/05/10
- Re: Tracking buffer positions across time, without markers (was Re: PL support), Clément Pit-Claudel, 2020/05/10
- Re: Tracking buffer positions across time, without markers (was Re: PL support), Eli Zaretskii, 2020/05/11
- Re: Tracking buffer positions across time, without markers (was Re: PL support), Clément Pit-Claudel, 2020/05/11
- Re: Tracking buffer positions across time, without markers (was Re: PL support), Stefan Monnier, 2020/05/11
- Re: Tracking buffer positions across time, without markers (was Re: PL support), Stefan Monnier, 2020/05/10
- Re: Tracking buffer positions across time, without markers (was Re: PL support),
Eli Zaretskii <=
- Re: Tracking buffer positions across time, without markers (was Re: PL support), Stefan Monnier, 2020/05/10
- Re: Tracking buffer positions across time, without markers (was Re: PL support), Vladimir Sedach, 2020/05/10
- Re: Tracking buffer positions across time, without markers (was Re: PL support), Clément Pit-Claudel, 2020/05/11
- Re: Tracking buffer positions across time, without markers (was Re: PL support), João Távora, 2020/05/11
- Re: Tracking buffer positions across time, without markers (was Re: PL support), Clément Pit-Claudel, 2020/05/11
- Re: Tracking buffer positions across time, without markers (was Re: PL support), João Távora, 2020/05/11
- Re: Tracking buffer positions across time, without markers (was Re: PL support), Clément Pit-Claudel, 2020/05/11
- Re: Tracking buffer positions across time, without markers (was Re: PL support), João Távora, 2020/05/11
- Re: Tracking buffer positions across time, without markers (was Re: PL support), Stefan Monnier, 2020/05/11
- Re: Tracking buffer positions across time, without markers (was Re: PL support), Eli Zaretskii, 2020/05/11