On Wed, Nov 28, corvid wrote:
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...
See my latest change. Could be made configurable in a simple way.
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?
If there is a way, it is probably still quite much work. Certainly not something for the next release. Sebastian