4.2 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 u.a. auch die Fensterpositionen, zuletzt angewählte Programme etc. gespeichert werden. Der Name der entsprechenden Datei wird aus der infra-Arbeitsplatzbezeichnung (STATION), der Sitzungsnummer (SESSION) und der Extension ".gui" gebildet.
