1.20 Geöffnete Quellen beim Beenden schließen im WDSC 7.0

[hwalk]

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?

[Khholm]

ist zu finden:

Benutzervorgaben -> Allgemein -> Editoren

[hwalk]

Hallo Khholm,

vielen Dank für deinen Beitrag.
Leider dient die von dir geschriebene Option nur dazu, dass man die Anzahl der offenen Sourcen begrenzen kann, z.B. auf 10. Öffnet man dann die 11. Source, wird die erste Source automatisch geschlossen.
Sie sorgt nicht dafür, dass bei Beenden des WDSC die Sourcen geschlossen werden.

Das ist also nicht das, was ich suche.