13 juni 2020 kl. 19.35 skrev Eli Zaretskii : > But it isn't rejected by the current code. Which was my point all > along. Since "#12345" is malformed it should be rejected, and will be. >>> Then color-values-from-color-spec, I guess. >> >> Thank you, but a smidgen too many 'color' in there. > > I don't think so, no. Very well, I have no strong opinion here so let's go with it. Updated patch attached, with the name change, and the warning found by Basil fixed.