Tickets für Version 1.0

Vorschlag für Tickets, die noch zu Version 1.0 gehören: Ich habe mich auf Dinge beschränkt, wo man draufguckt und sofort einen Fehler sieht. Insbesondere habe ich Tickets für die Suche weggelassen.

• überflüssige Spaces im Text: ​#89, ​#72, ​#74
• überflüssige Leerzeilen im Text: ​#81
• zuviele Zeilenumbrüche: ​#11
• <anchor> und Zeilenumbrüche: ​#82
• Regularisierung und Zeilenumbrüche: ​#88
• Regularisierungen in Pauls Alvarus: ​#91
• Darstellung von Textstilen: ​#54
• Darstellung von Figure-Information: ​#44
• Griechisch: ​#64
• Anzeige-Optionen: ​#114
• Unicode-Zeichen: ​#90 (schwierig zu beheben?)
• Optionen-Fenster: ​#77 (schwer zu reproduzieren, aber das Problem ist noch vorhanden)