|
| From: | Dmitry Gutov |
| Subject: | bug#31086: [PATCH] xref: Make xref-push-marker-stack interactive |
| Date: | Tue, 25 Jun 2019 02:29:54 +0300 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.1 |
Hi Lars, On 24.06.2019 18:25, Lars Ingebrigtsen wrote:
It didn't sound like anybody else had an opinion here... Dmitry, do you still think that this is probably something we don't want?
Still not convinced, no. It's a customization that is easy to set up in a personal init script, so unless we see similar requests, I'd rather hold off installing it in the core.
It's not a strong opinion, though.
| [Prev in Thread] | Current Thread | [Next in Thread] |