Die persönliche Konfigurationsdatei für den Workspace Manager heißt HomeVerzeichnis/.dt/dtwmrc . Sofern diese Datei vorhanden ist, wird sie entsprechend verwendet.
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 anschließend geladen.
Bearbeiten Sie die Datei.
Verlassen Sie den Editor.
Die Datei wird als Ihre persönliche Datei dtwmrc gespeichert, unabhängig von der ursprünglichen Quelle.