Explorer

Das Panel Explorer dient zur leichteren Orientierung in umfangreicheren Dokumenten. Der Explorer ermöglicht die Auswahl eines Objekts, das mit der Maus nur mit Schwierigkeiten ausgewählt werden könnte.

Der Explorer macht es möglich, etwaige Fehler im Dokument zu entdecken - beispielsweise zwei sich überlappende Schaltsymbole, eine irrtümlich geschaffene Linie, die nirgendwohin führt, usw.