[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] cc-mode: don't tread dir-local and file-local variables diff
|
From: |
Alan Mackenzie |
|
Subject: |
Re: [PATCH] cc-mode: don't tread dir-local and file-local variables differently |
|
Date: |
Tue, 26 May 2020 17:18:30 +0000 |
Hello, Stefan.
On Mon, May 25, 2020 at 22:28:15 -0400, Stefan Monnier wrote:
[ .... ]
> > It’s highly relevant that c-file-style variable behave completely
> > different whether it’s dir-local or file-local.
I think "completly different" here means "not identical". The situation
we're in is one where there is no totally satisfactory solution. We
could amend it the way the OP wants, but then hook functions would stop
working "properly", for example.
> IIUC your example shows a different interaction between a global
> setting and file-vs-dir setting. FWIW, I do find it surprising that
> file-local would be treated differently from dir-local when faced with
> a global setting.
They are treated consistently - where there are conflicting sources for a
particular parameter, that of the highest priority takes precedence.
This was all worked out in 2009 in response to bug #3808. (The exchange
in https://debbugs.gnu.org is short enough to be readable.) I really
don't think it a good idea to re-introduce bug #3808 by discarding its
fix.
> Stefan
--
Alan Mackenzie (Nuremberg, Germany).