[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Add a new user option 'ido-big-directories'.
From: |
Philipp Stephani |
Subject: |
Re: [PATCH] Add a new user option 'ido-big-directories'. |
Date: |
Fri, 19 Apr 2019 10:35:21 +0200 |
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.
Re: [PATCH] Add a new user option 'ido-big-directories'., Óscar Fuentes, 2019/04/17