Antwort:
Das Ausdruckprotokoll kann natürlich auch als PDF ausgedruckt werden. Zum einen kann man als Drucker einen PDF-Drucker wählen. Besser ist es jedoch den programminternen PDF-Export zu verwenden. Die Funktion findet man im Ausdruckprotokoll-Menü "Datei" unter "Export in PDF".
Einer der Vorteile dieser Variante ist, dass für jedes Kapitel in der PDF-Datei auch die entsprechenden Lesezeichen erzeugt werden.
