bug#36837: 26.2; whitespace-mode: whitespace-line-column is not set to local fill-column

[Andreas Schwab]

On Aug 02 2019, Štěpán Němec <stepnem@gmail.com> wrote:

> On Fri, 02 Aug 2019 17:04:35 +0200
> Andreas Schwab wrote:
>
>> On Aug 02 2019, Štěpán Němec <stepnem@gmail.com> wrote:
>>
>>> Yes, unfortunately, file-local variables are only setup (via
>>> `hack-local-variables') _after_ the mode hooks are run (cf.
>>> `run-mode-hooks'), so `whitespace-color-on' still sees the original
>>> `fill-column' the first time.
>>>
>>> Intuitively this order seems backwards to me, but I assume there must be
>>> a (good?) reason? I'd like to hear it, in any case.
>>
>> I'd guess the reason is that file local variables should override mode
>> stettings.
>
> Sure, but isn't that precisely an argument for the reverse order?

No.  File local variables should have the last say.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."