10.5 Profile-Datei

Über ein Profile, das beim Programmstart geladen wird, können benutzerspezifische Voreinstellungen vorgenommen werden. Der Name der Profiledatei ist idmed.prf.

Das Profile des Editors ist aufwärtskompatibel.

Das Profile kann sich in folgenden Verzeichnissen befinden (Nennung in Suchreihenfolge):

• Benutzerprofileverzeichnis:

  • unter Unix $HOME/.idm/idmed.prf

  • unter Windows

    <Windows Benutzerprofileverzeichnis>\Anwendungsdaten\ISA\IDM\idmed.prf;

    bei einem deutschen Windows, welches auf dem C-Laufwerk installiert ist, lautet der Pfad beispielsweise

    C:\Dokumente und Einstellungen\<Benutzer>\Anwendungsdaten\ISA\IDM\idmed.prf

• Arbeitsverzeichnis
• Ein in der Umgebungsvariablen IDM_EDITPATH definiertes Verzeichnis (siehe auch Kapitel „Programmumgebung“).
• Verzeichnis, welches die ausführbare Datei idmed bzw. idmed.exe enthält

Es wird nur das zuerst gefundene Profile geladen.

Die Speicherung des Profiles erfolgt in dem unter Menü ExtrasKonfiguration…SpeichernDateiname eingestellten Verzeichnis; die Voreinstellung ist das Arbeitsverzeichnis (projektbezogene Speicherung). Alternativ kann auch das Benutzerverzeichnis ausgewählt werden (benutzerbezogene Speicherung).

Einstellungen der Profile-Datei können über das Konfigurationsmenü des Editors vorgenommen und mit dem Menüpunkt Konfiguration speichern im Menü Extras abgespeichert werden.