[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: |
Miles Bader |
Subject: |
Re: files.el: Patch to make project-settings optional/customizable |
Date: |
Sun, 23 Nov 2008 12:34:14 +0900 |
Dan Nicolaescu <address@hidden> writes:
> Sorry, but this feels like trying to sneak in something that has been
> explicitly rejected...
I agree it does feel like that, but still, making it a defconst seems
like the tasteful thing to do...
After all, it's hardly unthinkable that some other frob or another will
want to notice the .dir-settings.el file.
-Miles
--
Electricity, n. The cause of all natural phenomena not known to be caused by
something else.
- Re: files.el: Patch to make project-settings optional/customizable, (continued)
- Re: files.el: Patch to make project-settings optional/customizable, Juanma Barranquero, 2008/11/19
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/19
- Re: files.el: Patch to make project-settings optional/customizable, Juri Linkov, 2008/11/19
- Re: files.el: Patch to make project-settings optional/customizable, Tom Tromey, 2008/11/19
- Re: files.el: Patch to make project-settings optional/customizable, Stefan Monnier, 2008/11/19
- Re: files.el: Patch to make project-settings optional/customizable, Juri Linkov, 2008/11/22
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/22
- Re: files.el: Patch to make project-settings optional/customizable, Juri Linkov, 2008/11/22
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/22
- Re: files.el: Patch to make project-settings optional/customizable, Juanma Barranquero, 2008/11/22
- Re: files.el: Patch to make project-settings optional/customizable,
Miles Bader <=
- Re: files.el: Patch to make project-settings optional/customizable, Stefan Monnier, 2008/11/23
- Re: files.el: Patch to make project-settings optional/customizable, Juanma Barranquero, 2008/11/23
- Re: files.el: Patch to make project-settings optional/customizable, Stefan Monnier, 2008/11/23
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/23
- Re: files.el: Patch to make project-settings optional/customizable, Juri Linkov, 2008/11/23
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/23
- Re: files.el: Patch to make project-settings optional/customizable, Juanma Barranquero, 2008/11/23
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/23
- Re: files.el: Patch to make project-settings optional/customizable, Juanma Barranquero, 2008/11/23
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/23