Re: Poll: Change xref-show-definitions-function's default?

[martin rudalics]

> In commit 8c383456291185b029b469061338b5b797a49747 I have done a bit of 
cleanup and documented the existing alternative options.
>
> What do you say we make one of them the default?

Sometimes I'd like to choose an alternative from a menu or some sort of
drop down list.  At least when I use the mouse.  Would that be feasible
to add, somehow?

martin