Translations:ReleaseNotes/6.4/174/de
Jump to navigation
Jump to search
- Der Navigator graut jetzt die Inhaltskategorien aus, die für das aktuell geöffnete Dokument nicht zutreffen, wodurch die Übersichtlichkeit verbessert wird.