|
From: | Dmitry Gutov |
Subject: | bug#38797: 27.0.50; Feature request: provide the opposite of xref-pop-marker-stack |
Date: | Sun, 24 Oct 2021 15:39:51 +0300 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.13.0 |
On 24.10.2021 10:54, Juri Linkov wrote:
- Regarding the names of the commands, some alternatives: * xref-rewind-history? It's a play on "fast forward". A bit cryptic, perhaps. * xref-go-back and xref-go-forward? xref--history is fine the name of the variable, but the purpose of the commands seems obvious enough even without "history" in them.Two different naming conventions are in use already: Info-history-back Info-history-forward help-go-back help-go-forward Choosing any of those would be fine.
That reminds me of a potential feature: saving the history of searches and going back/forward between them, in the manner of help-go-back and help-go-forward (maybe even with same keybindings).
From that perspective, we could choose the names in advance. Either xref-go-back/forward and xref-history-back/forward or, I suppose xref-back-history/forward-history and xref-searches-back/forward ...something like that.
[Prev in Thread] | Current Thread | [Next in Thread] |