[Top][All Lists]

[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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]