[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: files.el: Patch to make project-settings optional/customizable
From: |
Dan Nicolaescu |
Subject: |
Re: files.el: Patch to make project-settings optional/customizable |
Date: |
Thu, 13 Nov 2008 08:07:01 -0800 (PST) |
Chong Yidong <address@hidden> writes:
> "T.V. Raman" <address@hidden> writes:
>
> > Introduces a defcustom for project-settings-file -- rather than
> > hard-coding the name, and if set to nil, arranges for function
> > project-find-settings-file to do nothing.
>
> Looks reasonable. I've checked it in, thanks.
Shouldn't the variable be called dir-settings-file ?
The default name is .dir.settings.el and this is documented in a
"Directory Variables" section in the manual after all...
- files.el: Patch to make project-settings optional/customizable, T.V. Raman, 2008/11/13
- Re: files.el: Patch to make project-settings optional/customizable, Chong Yidong, 2008/11/13
- Re: files.el: Patch to make project-settings optional/customizable,
Dan Nicolaescu <=
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/13
- Re: files.el: Patch to make project-settings optional/customizable, Tom Tromey, 2008/11/13
- Re: files.el: Patch to make project-settings optional/customizable, Chong Yidong, 2008/11/13
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/13
- Re: files.el: Patch to make project-settings optional/customizable, Juanma Barranquero, 2008/11/13
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/13
- Re: files.el: Patch to make project-settings optional/customizable, Juanma Barranquero, 2008/11/13
- Re: files.el: Patch to make project-settings optional/customizable, Tom Tromey, 2008/11/13
- Re: files.el: Patch to make project-settings optional/customizable, Juanma Barranquero, 2008/11/13
- Re: files.el: Patch to make project-settings optional/customizable, Chong Yidong, 2008/11/13