Re: files.el: Once again impossible to turn off dir-settings

[Tom Tromey]

>>>>> "Juri" == Juri Linkov <address@hidden> writes:

Juri> Perhaps we should add a similar variable
Juri> `enable-dir-local-variables' that will disable only dir-local
Juri> variables.

It sounds like a decent idea to me.

My objection to customizing the file name was based on the (presumed)
social consequences.  IMO there aren't any such consequences to one
user privately disabling a feature.

Tom