Nochmal die Ausgabesteuerung22. Oktober 2013Ebenfalls ab dem nächsten Update:In der Ausgabesteuerung werden Elemente, die im aktuellen Dokument gar nicht vorliegen, leicht ausgegraut: Dadurch wird die Sache etwas übersichtlicher und man findet die im Dokument “wichtigen” Elemente schneller.
