|
From: | Dmitry Gutov |
Subject: | bug#38797: 27.0.50; Feature request: provide the opposite of xref-pop-marker-stack |
Date: | Mon, 25 Oct 2021 02:22:06 +0300 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.13.0 |
On 24.10.2021 22:10, Juri Linkov wrote:
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.I never had such a problem thanks to the customization that creates a new buffer for every search: (add-hook 'xref--xref-buffer-mode-hook 'rename-uniquely)
It's a nice intermediate solution, but it would also be nice to be able to quickly iterate across previous searches. No?
[Prev in Thread] | Current Thread | [Next in Thread] |