Einführung in die verschiedenen Anpassungsmöglichkeiten Mit dem neusten Release wurden die Design-Eigenschaften des Editors in den Tab "Eigenschaften" überführt. Für eine intuitivere Bedienung existiert deshalb nun nur noch ein einziger Tab, von dem ...