Subject: Re: bug#31086: [PATCH] xref: Make xref-push-marker-stack interactive

From: Lars Ingebrigtsen <[email-masked]>
Date: Mon, 24 Jun 2019 17:25:57 +0200

Dmitry Gutov <[email-masked]> writes:

> On 4/7/18 3:05 AM, George Kadianakis wrote:
>
>> here is a small patch that allows xref users to push markers to the
>> stack without using xref-find-definitions. This allows users to mark
>> arbitrary positions in the code that they consider interesting
>> (e.g. documentation) even tho it's not actually an xref definition.
>
> Thank you for the patch, but I'm not quite sure we want this behavior,
> at least not until we have a common marker stack for many different
> operations. But let's hear what others think.

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?

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no