über den neuen Editor wurde ja schon etwas geschrieben. Ich fände es sehr hilfreich, wenn der Editor in seiner Funktionalität anpassbar wäre. Mich stören z. B. die eingeblendeten Symbole für „Tab“, „Leerzeichen“ usw.
Den vor einiger Zeit gemachten Hinweis mit der Schriftgröße finde ich ebenfalls für sinnvoll, so dass die Schriftart u. -größe einstellbar ist.
Ich finde den neuen Editor gut, aber obige Benutzeranpassungen sind eigentlich für einen Editor normal.
Für erste wird die Tabbreite und die Sonderzeichenanzeige einstellbar sein
Die Schriftgröße ist in einem der nächsten Update auch etwas besser leserlich.
beim Testen der 4.1 ist mir aufgefallen, dass die automatische Generierung von Kommentaren zu unschönen Effekten führt. Die Kommentierung wird unterbrochen und ein überflüssiger Text generiert.
