[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Add a new user option 'ido-big-directories'.
From: |
Eli Zaretskii |
Subject: |
Re: [PATCH] Add a new user option 'ido-big-directories'. |
Date: |
Thu, 18 Apr 2019 17:40:21 +0300 |
> 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.
Re: [PATCH] Add a new user option 'ido-big-directories'., Óscar Fuentes, 2019/04/17