Ebenfalls 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.
Ebenfalls 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.