Menü Datei
• Anzeige aktualisieren – In der Regel wird die Elementliste im Element-Viewer automatisch anhand der Cursorposition im Dokument im Bearbeitungsfenster aktualisiert. Wenn die beiden Fenster nicht mehr synchronisiert sind, können Sie die Liste der verfügbaren Elemente manuell aktualisieren.
• Drucken – Hiermit wird die aktuell angezeigte Elementliste gedruckt.