07.07 Individuelle Einstellungen (GUI-Datei)
infra:query erlaubt einem Benutzer viele Anpassungen an einzelnen Abfragen, die jeweils für einen Arbeitsplatz und eine Sitzung gespeichert werden. Diese Einstellungen werden in der GUI-Datei im Protokollverzeichnis der infra-Anwendung gespeichert. Jede infra-Sitzung hat ihre eigene GUI-Datei, in der unter anderem auch die Fensterpositionen, zuletzt angewählte Programm etc. gespeichert werden. Der Name der entsprechenden Datei wird aus der infra-Arbeitsplatzbezeichnung (STATION), der Sitzungsnummer (SESSION) und der Extension *.GUI gebildet.
Die Nutzung von globalen Einträgen für alle Benutzer in der Datei SIBPPS.GUI und GUI-Dateien allgemein sind im Kapitel 04.05 Fensterkoordinaten, Listbox-Spalten usw. (*.GUI) beschrieben. Speziell für die Auskunft können globale Einträge mit dem Menü DATEI - ANPASSUNGEN FREIGEBEN in der Auskunft für alle infra-Benutzer zur Verfügung gestellt werden.
