[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: A feature to go to last edit locations
From: |
Jean Louis |
Subject: |
Re: A feature to go to last edit locations |
Date: |
Mon, 13 Feb 2023 22:28:04 +0300 |
User-agent: |
Mutt/2.2.9+54 (af2080d) (2022-11-21) |
* Dmitry Gutov <dgutov@yandex.ru> [2023-02-12 21:53]:
> On 12/02/2023 20:50, Daniel Martín wrote:
> > Another question is how to track the edit locations efficiently. A
> > naive implementation would be to add a function to
> > after-change-functions if the xref setting is enabled.
>
> Sure, as one option. Except you'd have to differentiate user-made changes to
> the buffer and ones created by more complex commands, or timers, or
> auto-revert-mode...
One could do following:
- remember paragraph at point
- split it as words
- record those words
- jump to point
- search in buffer upwards and downwards for some regex like word.*word.*word.*
Maybe that think process could help in locating the exact point.
Or point could remember also the few words or line, and search for it
straight, up or down.
If it does not exist, point should destroy itself by asking user for it.
--
Jean
Take action in Free Software Foundation campaigns:
https://www.fsf.org/campaigns
In support of Richard M. Stallman
https://stallmansupport.org/
Re: A feature to go to last edit locations, Dmitry Gutov, 2023/02/12
Re: A feature to go to last edit locations, Jean Louis, 2023/02/13
- Re: A feature to go to last edit locations, Dmitry Gutov, 2023/02/13
- Re: A feature to go to last edit locations, Dr. Arne Babenhauserheide, 2023/02/13
- Re: A feature to go to last edit locations, Jean Louis, 2023/02/13
- Re: A feature to go to last edit locations, Eli Zaretskii, 2023/02/13
- RE: [External] : Re: A feature to go to last edit locations, Drew Adams, 2023/02/13
- RE: [External] : Re: A feature to go to last edit locations, Drew Adams, 2023/02/13
- Re: [External] : Re: A feature to go to last edit locations, Jean Louis, 2023/02/14
- RE: [External] : Re: A feature to go to last edit locations, Drew Adams, 2023/02/14
- Re: [External] : Re: A feature to go to last edit locations, Jean Louis, 2023/02/15