[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: A feature to go to last edit locations
From: |
Daniel Martín |
Subject: |
Re: A feature to go to last edit locations |
Date: |
Sun, 12 Feb 2023 20:23:47 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.2 (darwin) |
Dmitry Gutov <dgutov@yandex.ru> writes:
> 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...
That's why I think we should somehow leverage the undo information to
implement this feature. But if we want to support multiple buffers,
we'd need to at least bookkeep additional information when Emacs adds
entries to buffer-undo-list.
- Re: A feature to go to last edit locations, (continued)
- Re: A feature to go to last edit locations, Eli Zaretskii, 2023/02/12
- Re: A feature to go to last edit locations, andrés ramírez, 2023/02/12
- Re: A feature to go to last edit locations, Daniel Martín, 2023/02/12
- Re: A feature to go to last edit locations, Dr. Arne Babenhauserheide, 2023/02/12
- Re: A feature to go to last edit locations, Juri Linkov, 2023/02/13
- RE: [External] : Re: A feature to go to last edit locations, Drew Adams, 2023/02/12
- Re: [External] : 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/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