[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 19:50:50 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.2 (darwin) |
Dmitry Gutov <dgutov@yandex.ru> writes:
> On 12/02/2023 19:41, Daniel Martín wrote:
>> What do you think? Third-party packages like goto-last-change.el [2] or
>> session.el [3] (see session-jump-to-last-change) implement this feature
>> in a per-buffer basis, but I wonder if we could do better and implement
>> something that works across buffers.
>
> I agree this kind of feature should work across buffers (and that's my
> main criticism of the global/local marks feature already).
>
> I do wonder though if a separate new stack (with a set of assigned key
> bindings) is a good UI. Maybe we'd integrate it into xref navigation
> command stacks?
>
Yes, the xref navigation stack is exposed via Edit, Go To, Back/Forward,
so perhaps it can be extended to support tracking and going to previous
editing locations, if users enable an option.
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.
- 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, Daniel Martín, 2023/02/12
- 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,
Daniel Martín <=
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