Subject: Re: bug#71499: [PATCH] Make whitespace.el cleanup add missing final newline

From: Stefan Kangas <[email-masked]>
Date: Thu, 20 Jun 2024 08:55:04 +0000

Robert Pluim <[email-masked]> writes:

> Yes. I guess I could turn off whitespace-cleanup for those files, and
> complain at those people more loudly :-) .

Just to confirm: you still want it highlighted, despite the fact that
you're anyways not planning to change it?  IOW, you couldn't just
customize `whitespace-style` in those directories and have it do what
you want?

Perhaps we should have `whitespace-disable-cleanups` for these use
cases, but it should then allow customizing a list of values similar to
the ones in `whitespace-style`.