Bugfix Dokumente: Druckoptionen für archivierte Dokumente

Wenn man aus dem Archiv heraus das Druckmenü für Dokumente aufruft stehen nun auch die alten Revisionsstände zur Auswahl.

Es gab folgende Änderungen:

  1. im Druckmenü werden alle Revisionsstände aufgelistet
  2. hinter dem Titel des Dokumentes wird nun angezeigt ob es aktuell oder archiviert ist und welchen Revisionsstand es besitzt
  3. kleinere optische Anpassungen für das Druckmenü