[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#36837: 26.2; whitespace-mode: whitespace-line-column is not set to l
From: |
Andreas Schwab |
Subject: |
bug#36837: 26.2; whitespace-mode: whitespace-line-column is not set to local fill-column |
Date: |
Fri, 02 Aug 2019 23:54:21 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.2.90 (gnu/linux) |
On Aug 02 2019, Štěpán Němec <stepnem@gmail.com> wrote:
> Yes, but OP's case is a bit more subtle, as I described in my very
> first e-mail. Maybe a more visual representation will help. Here's
> what happens (simplified) when visiting test.cfg during OP's recipe:
>
> 1. fill-column is at default value
> 2. `run-mode-hooks' is called
> 3. `conf-mode-hook' is run
> 4. `whitespace-mode' is called
> 5. `whitespace-color-on' is called, which sets up
> whitespace-font-lock-keywords,
> still with the default value of fill-column
> 6. `hack-local-variables' is called to parse and apply file-local settings
> 7. fill-column is set to 200
>
> If what's really intended is that file-local settings prevail as much
> as possible, this is a failure.
It's a failure in whitespace-mode, not in hack-local-variables.
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."
- bug#36837: 26.2; whitespace-mode: whitespace-line-column is not set to local fill-column, (continued)
- bug#36837: 26.2; whitespace-mode: whitespace-line-column is not set to local fill-column, Andreas Schwab, 2019/08/02
- bug#36837: 26.2; whitespace-mode: whitespace-line-column is not set to local fill-column, Eli Zaretskii, 2019/08/02
- bug#36837: 26.2; whitespace-mode: whitespace-line-column is not set to local fill-column, Štěpán Němec, 2019/08/02
- bug#36837: 26.2; whitespace-mode: whitespace-line-column is not set to local fill-column, Eli Zaretskii, 2019/08/02
- bug#36837: 26.2; whitespace-mode: whitespace-line-column is not set to local fill-column, Štěpán Němec, 2019/08/02
- bug#36837: 26.2; whitespace-mode: whitespace-line-column is not set to local fill-column, Eli Zaretskii, 2019/08/02
- bug#36837: 26.2; whitespace-mode: whitespace-line-column is not set to local fill-column, Noam Postavsky, 2019/08/02
- bug#36837: 26.2; whitespace-mode: whitespace-line-column is not set to local fill-column, Štěpán Němec, 2019/08/02
- bug#36837: 26.2; whitespace-mode: whitespace-line-column is not set to local fill-column, Noam Postavsky, 2019/08/02
- bug#36837: 26.2; whitespace-mode: whitespace-line-column is not set to local fill-column, Štěpán Němec, 2019/08/02
- bug#36837: 26.2; whitespace-mode: whitespace-line-column is not set to local fill-column,
Andreas Schwab <=
bug#36837: 26.2; whitespace-mode: whitespace-line-column is not set to local fill-column, tastytea, 2019/08/03