Re: [PATCH] Add a new user option 'ido-big-directories'.

[Philipp Stephani]

Am Do., 18. Apr. 2019 um 16:40 Uhr schrieb Eli Zaretskii <address@hidden>:
>
> > From: Philipp Stephani <address@hidden>
> > Cc: Philipp Stephani <address@hidden>
> > Date: Wed, 17 Apr 2019 20:31:52 +0200
> >
> > +(defcustom ido-big-directories nil
> > +  "List of directory pattern strings that should be considered big.
> > +Ido will ignore directories matching any of these regular
> > +expressions."
>
> I think NEWS describes better what is "big" in this context, so I
> suggest to use that instead of the last sentence of the doc string,
> which is less precise.
>
> Thanks.

Thanks, pushed as f5e3c2cc98.