Persönliche Konfigurationsdateien anlegen und ändern

Die persönliche Konfigurationsdatei für den Workspace Manager heißt HomeVerzeichnis/.dt/dtwmrc . Wenn diese Datei vorhanden ist, wird sie verwendet.

1. Doppelklicken Sie in der Anwendungsgruppe 'Desktop_Tools' auf 'Dtwmrc bearbeiten'.

   Wenn bereits eine persönliche Datei dtwmrc vorliegt, wird diese in den Editor geladen. Andernfalls wird sys.dtwmrc nach HomeVerzeichnis/.dt/dtwmrc kopiert und erst dann geladen.

2. Bearbeiten Sie die Datei.

3. Verlassen Sie den Editor.

   Die Datei wird als Ihre persönliche Datei dtwmrc gespeichert, unabhängig von der ursprünglichen Quelle.