Re: Behaviour of add-file-local-variable?

[Stefan Monnier]

> Even if you insist on retaining the existing behaviour, at the minimum I
> need some warning that the local variable has not kicked in. This could
> be handled by

I think that add-file-local-variable could simply check if the
variable's value is already the new one and if not output a message
along the lines "Done; revisit the file to make it take effect" (tho
"take effect" doesn't sound right: please native speakers fix it for
me).


        Stefan