Subject: bug#49731: 28.0.50; Filter xref results by filename

From: Lars Ingebrigtsen <[email-masked]>
Date: Sun, 25 Jul 2021 10:33:36 +0200

Lars Ingebrigtsen <[email-masked]> writes:

> Daniel Martín <[email-masked]> writes:
>
>> What do you think about this new feature? Do you have any suggestions
>> about how it should work?
>
> This was recently discussed in bug#2544...

(Well, as sorting instead of filtering, so it's not quite the same.)

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