Hallo zusammen,

im WDSC 6.0 konnte man mit "Benutzervorgaben->Workbench->Editoren->Alle Editoren beim Beenden schließen" sicherstellen, dass alle Sourcen beim Beenden geschlossen werden (ggf. mit der Frage um Speicherung der Änderungen).

Damit konnte man gewährleisten, dass nicht mit einer lokalen Kopie beim nächsten Start des WDSC gearbeitet wird.
Im WDSC 7.0 kann ich diese Einstellung nicht finden.

Kann mir jemand sagen, wo ich diese Option finde? Kennt jemand diese Option?