GNU bug report logs - #31086
[PATCH] xref: Make xref-push-marker-stack interactive

Previous Next

Full log

View this message in rfc822 format

From: George Kadianakis <desnacked <at> riseup.net>
To: Dmitry Gutov <dgutov <at> yandex.ru>, Lars Ingebrigtsen <larsi <at> gnus.org>
Cc: 31086 <at> debbugs.gnu.org
Subject: bug#31086: [PATCH] xref: Make xref-push-marker-stack interactive
Date: Tue, 25 Jun 2019 10:53:07 +0300

Dmitry Gutov <dgutov <at> yandex.ru> writes:

> 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.

Makes sense to me. For me, this was just an ugly hack and perhaps the
xref subsystem is not meant to do this sort of interactive stuff.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.