[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: A feature to go to last edit locations

From: Dmitry Gutov
Subject: Re: A feature to go to last edit locations
Date: Tue, 14 Feb 2023 22:08:00 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.4.2

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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]