|
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.
[Prev in Thread] | Current Thread | [Next in Thread] |