Re: soft hyphen and hyphenation

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