Re: files.el: Patch to make project-settings optional/customizable

[Juanma Barranquero]

On Tue, Nov 18, 2008 at 23:59, Stefan Monnier <address@hidden> wrote:

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

  Juanma