[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: |
Stefan Monnier |
Subject: |
Re: files.el: Patch to make project-settings optional/customizable |
Date: |
Sun, 23 Nov 2008 00:27:11 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.0.60 (gnu/linux) |
> I agree it does feel like that, but still, making it a defconst seems
> like the tasteful thing to do...
We could make it read-only, like we do for t, nil, :toto, and
enable-multibyte-characters.
Stefan
- Re: files.el: Patch to make project-settings optional/customizable, (continued)
- 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, 2008/11/22
- Re: files.el: Patch to make project-settings optional/customizable,
Stefan Monnier <=
- 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
- Re: files.el: Patch to make project-settings optional/customizable, Stephen J. Turnbull, 2008/11/23