Optionen in Navigationsfenstern

In allen Navigationsfenstern befindet sich rechts oben ein Popup-Menü „Optionen“. In diesem Menü stehen je nach Fenster unterschiedliche Optionen zur Verfügung.

Einige Fenster enthalten außerdem Schaltflächen, die sich auf die Elemente im Fenster auswirken. Auch dabei gibt es Unterschiede zwischen den Fenstern; einige Fenster enthalten keinerlei Schaltflächen.