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

[Philipp Stephani <p.stephani2@gmail.com>]

Am Fr., 12. Apr. 2019 um 14:59 Uhr schrieb Eli Zaretskii <eliz@gnu.org>:
>
> > From: Philipp Stephani <p.stephani2@gmail.com>
> > Date: Fri, 12 Apr 2019 14:23:01 +0200
> > Cc: Philipp Stephani <phst@google.com>
> >
> > This provides an alternative to 'ido-max-directory-size', for
> > directories that are statically known to be too big for Ido
> > completion.
>
> Thanks.
>
> > +** Ido
> > +*** New user option 'ido-big-directories' to mark certain directory
> > +patterns as big.
>
> This doesn't say what is a "pattern" and what is the meaning of "big"
> in this context.  Could that be at least hinted at?
>
> > +(defcustom ido-big-directories nil
> > +  "Additional directories that should be considered big.
> > +Ido will ignore directories matching any of these regular
> > +expressions."
>
> The doc string should explicitly say what is the form of the value.
> Also, since the elements of the sequence are regular expressions, the
> first sentence should mention that, or at least say they are strings.

Thanks, I'll send a new patch.