Über den Optionen... Dialog unter Profile und die Zurücksetzen-Schaltfläche können die ursprunglichen Desktop Einstellungen wieder hergestellt werden. Den OPTIONEN-Befehl kann man über die Befehlszeile eintippen oder als dem Pulldown-Menü Extras aufrufen.
Wichtiger Hinweis:
Das Zurücksetzen der Desktop-Einstellungen löscht alle vorherigen Anpassungen des aktuellen Benutzers.