Re: evaluating numbers

[Robert Pluim]

>>>>> On Fri, 15 Nov 2019 17:16:38 +0200, Eli Zaretskii <address@hidden> said:

    >> From: Robert Pluim <address@hidden>
    >> Cc: Paul Eggert <address@hidden>,
    >> address@hidden,  address@hidden,
    >> address@hidden
    >> Date: Fri, 15 Nov 2019 15:54:46 +0100
    >> 
    >> I like my bikesheds painted in #ff7f00

    Eli> SGTM, thanks.

    >> +         (char-name-fmt (if what-cursor-show-names
    >> +                            (format ", ?\\N{%s}" 
(get-char-code-property char 'name))

    Eli> What does this yield for codepoints below 32 decimal?

Hmm, they donʼt have a 'name property? I guess we could do

(or (get-char-code-property char 'name) (get-char-code-property char 'old-name))

Robert