Subject: Re: bug#15925: 24.3.50; error when customizing whitespace-display-mappings

From: Mauro Aranda <[email-masked]>
Date: Thu, 24 Sep 2020 12:36:52 -0300

Mauro Aranda <[email-masked]> writes:

> - Do we change the display for the space character as well?
>
> We could display it as ?\s, or leave it as " ", which makes the
> character widget appear empty, when it's not.

I said display it as ?\s, but I meant display it as \s.  Sorry.