Persönliche Konfigurationsdateien anlegen und ändern

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

1. Doppelklicken Sie in der Anwendungsgruppe 'Desktop_Werkzeuge' 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 anschließend geladen.

2. Bearbeiten Sie die Datei.

3. Beenden Sie den Editor.

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