Subject: Re: bug#18441: whitespace-mode sometimes adds column to tab character

From: Lars Ingebrigtsen <[email-masked]>
Date: Mon, 02 May 2022 11:48:46 +0200

Lars Ingebrigtsen <[email-masked]> writes:

>> To be more precise, the comment Mario meant is probably this part of
>> definition of `whitespace-display-mappings':

This looks like a duplicate of 18548, so I've now merged the two bug
reports.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no