[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Making a non-ASCII space character visible
From: |
Marcin Borkowski |
Subject: |
Re: Making a non-ASCII space character visible |
Date: |
Sun, 17 Jun 2018 06:31:40 +0200 |
User-agent: |
mu4e 1.1.0; emacs 27.0.50 |
On 2018-06-16, at 23:37, Will Parsons <varro@nodomain.invalid> wrote:
> On Saturday, 16 Jun 2018 4:15 PM -0400, Will Parsons wrote:
>> I have a desire to use the Unicode character A007 (FIGURE SPACE) in a
>> document and to be able to distinguish it visually from a regular ASCII
>> space. This seems to be already done in the case of 00A0 (NO-BREAK
>> SPACE) which appears as an underscore with a distinctive face.
>>
>> It *looks* like I should be able to do this via the customization
>> option "Whitespace Display Mappings", but no matter what I do,
>> attempting to "Apply" the changes results in an error message, "This
>> field should contain a single character". (This message occurs even
>> if I try to change one of the display characters of an existing entry
>> in the list and apply.)
>>
>> Feeling desperate, I copied the existing value of
>> whitespace-display-mappings directly into my custom.el file, and
>> manually added a new entry for A007 (8199) on the model of the
>> existing entry for 00A0 (160), but this seems to have no effect on the
>> display.
>>
>> (This is using Emacs 25, in case it should make a difference.)
>
> Correction: FIGURE SPACE is actually 0x2007, not 0xA007, but that's
> simply a mistake in my post, not the actual code. (Sorry for not
> being more careful.)
How about good old
M-s h r (highlight-regexp)?
Hth,
--
Marcin Borkowski
http://mbork.pl
- Making a non-ASCII space character visible, Will Parsons, 2018/06/16
- Re: Making a non-ASCII space character visible, Will Parsons, 2018/06/16
- Re: Making a non-ASCII space character visible, Michael Heerdegen, 2018/06/17
- Re: Making a non-ASCII space character visible, Eli Zaretskii, 2018/06/17
- Re: Making a non-ASCII space character visible, Michael Heerdegen, 2018/06/17
- Re: Making a non-ASCII space character visible, Eli Zaretskii, 2018/06/17
- Re: Making a non-ASCII space character visible, Michael Heerdegen, 2018/06/17
- Message not available
- Re: Making a non-ASCII space character visible, Will Parsons, 2018/06/18
- Re: Making a non-ASCII space character visible, Noam Postavsky, 2018/06/18
- Message not available
- Re: Making a non-ASCII space character visible, Will Parsons, 2018/06/18
Message not available
Re: Making a non-ASCII space character visible, Eli Zaretskii, 2018/06/17