Details
-
Sub-task
-
Resolution: Done
-
Not Evaluated
-
None
-
3b2614c6976ff1b201855893a811702376721eb9
Description
We need to improve the session management:
Then trying to close down creator all editors need to get a chance to do any of the following:
- Cancel the shutdown (Needs to happen before any editor is closed!)
- Close themselves so that they are not stored as part of the session (currently we exclude all editors with contain temporary files but that is not good enough).