10 Editorkonfiguration

Die Konfiguration des Editors wird in der Datei "idmed.prf", auch Profile genannt, gespeichert. Geladen wird das Profile einmal beim Start des Editor. Gesucht wird die Datei zuerst im Benutzerprofilverzeichnis des Editors:

• Unter Unix

  $HOME/.idm/idmed.prf

• Unter Windows

  <Windows Benutzerprofilverzeichnis>\Anwendungsdaten\ISA\IDM\idmed.prf

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

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

Danach im momentanen Arbeitsverzeichnis, anschließend in den Pfaden der Umgebungsvariablen IDM_EDITPATH und danach in dem Verzeichnis, welches das Executable idmed bzw. idmed.exe enthält. Dabei wird die zuerst gefundene Datei geladen.

Die Speicherung des Profiles erfolgt in dem unter „Menü Extras -> Konfiguration… -> Speichern -> Dateiname“ eingestellten Verzeichnis; die Voreinstellung ist hier das Arbeitsverzeichnis des Editors.

Dieses Vorgehen erlaubt die projekt- oder personenbezogene Konfiguration des Editors.

Das Profile des Editors ist aufwärtskompatibel.