[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: |
Wed, 19 Nov 2008 05:27:59 -0800 (PST) |
Stefan Monnier <address@hidden> writes:
> >> If you want to change .dir-settings.el, the say so and re-open the
> >> discussion about the choice. But making it customizable is wrong.
>
> > Re-opening the discussion is wrong; it was already discussed and some
> > consensus reached (
>
> > Making it user-settable (perhaps, as Chong says, as a variable and not
> > a defcustom) is best than trying to second-guess the users.
>
> Do you advocate making "Local Variables:" in hack-local-variables
> customizable as well? If you think one deserves customization, then I'd
> argue that the other deserves it just as well.
>
> As far as I can tell, the only reason people want to customize it is
> because they find the default choice ugly. I.e. for purely aesthetic
> reasons. This is a pretty poor justification for introducing complexity
> and incompatibilities between projects.
>
> Until someone gives me a good argument for why it should be customizable
> (as opposed to having just a different value), we should revert the
> patch that made it a defcustom.
Done.
- 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/18
- Re: files.el: Patch to make project-settings optional/customizable, Juanma Barranquero, 2008/11/18
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/18
- Re: files.el: Patch to make project-settings optional/customizable, Chong Yidong, 2008/11/18
- 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, Richard M. Stallman, 2008/11/19
- Re: files.el: Patch to make project-settings optional/customizable, Juri Linkov, 2008/11/18
- Re: files.el: Patch to make project-settings optional/customizable, Juanma Barranquero, 2008/11/18
- Re: files.el: Patch to make project-settings optional/customizable, Stefan Monnier, 2008/11/18
- 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 <=
- 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, 2008/11/23