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

[Juanma Barranquero]

On Wed, Nov 19, 2008 at 00:18, Dan Nicolaescu <address@hidden> wrote:

> And this is currently documented ... where?

Nowhere it is documented that changing it could cause problems, as it
is nowhere documented that the name is cast in stone because [at least
part of] the developers "know better". Adding a note to the docstring
is not difficult, though.

> And such fragile behavior
> is preferable because ... ?

It's not more "fragile" than allowing local variables in files, which
can be a security liability. And yet we do allow it, taking
appropriate measures to minimize the risks.

  Juanma