Details
-
Bug
-
Status: Resolved
-
Major
-
Resolution: Fixed
-
2.0
-
None
-
None
Description
If you set hyphenation-character to the empty value, then you get the error message "String index out of range: 0".
If there is no hyphenation-character set, there should simply nothing be used.
This is useful in cases where you want hyphenation but no hyphenation character like in program listings or similar