04.04.3 Vorbelegung infra-Explorer
Die Einstellungen des infra-Explorers werden in den Dateien mit der Dateinamenserweiterung "EXV" verwaltet. Diese Dateien sind im Verzeichnis GRAFIK\PROT abgelegt und haben den Namen "Station+Sitzung". Sie sind folgendermaßen aufgebaut:
'# default section
[User]
Für jeden infra-User an dieser Station gibt es eine Sektion.
View:
0,2,3,4,6,7,8,9,10,11,13,15,16,17,18 usw.
Unter dem Schlüsselwort "View:" wird die aktuelle Einstellung des Standard-infra-Explorers beim Verlassen von infra:NET abgelegt.
User0:
Mein Arbeitsplatz,,1
User0.0.1:
"120 Stücklisten",(),0
User0.0.1.0:
"121 Stücklisten bearbeiten",1
User0.0.1.1:
"122 Baukastenstückliste nach Teilenummer",1
Unter den Schlüsselwort "Userx.y.z" wird die aktuelle Einstellung des Arbeitsplatz-infra-Explorers beim Verlassen von infra:NET abgelegt. "x.y.z..." ist die Strukturtiefe des Indexbaumes.