Sebastian wrote:
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?
In general, it feels a little unusual to have so much configuration related to hyphenation specifically, but...
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.
Is there a way to do that?