Re: A feature to go to last edit locations

[Dmitry Gutov]

On 14/02/2023 05:25, Eli Zaretskii wrote:
> > Date: Mon, 13 Feb 2023 21:41:19 +0200
> > From: Dmitry Gutov<dgutov@yandex.ru>
> >
> > On 13/02/2023 21:24, Jean Louis wrote:
> > > But Eli said something important, why go somewhere back randomly, but
> > > better going where user marked it to need it.
> > Because by the time the user knows they need to go back, they might have
> > missed the opportunity to mark the place.
> The important question is: which of these two failures could happen
> more frequently?  IME, wading through gobs of places I never wanted to
> go back to is no fun.

I guess that consideration is why "goto last change" is a separate 
command in IntelliJ, rather than having it incorporated into regular 
navigation.