Workspace Manager neu starten

Änderungen an der Konfigurationsdatei wirken sich erst dann aus, wenn der Workspace Manager neu gestartet wird.

Wählen Sie 'Workspace Manager neu starten' aus dem Menü 'Arbeitsbereich' (klicken Sie mit Maustaste 3 in den Arbeitsbereich).