Subject: Re: bug#74362: 31.0.50; Add completions for font names

From: Stefan Monnier <[email-masked]>
Date: Fri, 15 Nov 2024 12:48:05 -0500

>>>>>> On Fri, 15 Nov 2024 11:50:14 -0500, Stefan Monnier <[email-masked]> said:
>     Stefan> So you're saying font family names are case-insensitive?
>     Stefan> I was wondering about that and couldn't find it documented anywhere.
> No, Iʼm saying that the interface to select them should be
> case-insensitive.

I see, my last patch does use `completion-table-case-fold` so I think it
does provide the behavior you're asking for.

        Stefan