[Tustep-Liste] EDITOR: Textfarbe aendern

pstahl at cc.jyu.fi pstahl at cc.jyu.fi
Mon Feb 27 11:36:25 CET 2006


Michael Trauths Hinweis, dass das
> eine *sehr* nuetzliche Funktion [sei], die noch viel zu
> wenig bekannt ist und in der Folge natuerlich auch viel zu
> wenig benutzt wird
könnte doch auch Anlass sein, diese Farbeinstellung in die
Voreinstellungen des Editors aufzunehmen. Ich weiß, dass
die Entwicklergruppe in Tübingen sehr zurückhaltend mit
allen derartigen Einstellungen ist. Aber vielleicht
kann Herr Schälkle dazu bitte kurz Stellung nehmen.

Beste Grüße
P.Stahl



More information about the Tustep-Liste mailing list