27 Nov
2012
27 Nov
'12
9:16 p.m.
On Tue, Nov 27, corvid wrote:
Johannes wrote:
I know, I brought this up in the first place, but now I noticed, that the unconditional hyphen (0xe2 0x80 0x90) seems not be available in all fonts (e.g. I only see squares for it on heise.de). So maybe a hyphen-minus aka '-' might be simpler and commonly available (also see [1]). What do you think?
hyphen-minus sounds safest to me.
What about making it configurable, with hyphen-minus as default?
I wish we had a good way to deal with the squares...
One could think of testing which character is available, and so switch to other characters, but probably this is unnecessarily complex. Sebastian