Details

    • 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).

      Attachments

        No reviews matched the request. Check your Options in the drop-down menu of this sections header.

        Activity

          People

            con Eike Ziller
            hunger Tobias Hunger
            Votes:
            0 Vote for this issue
            Watchers:
            0 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved:

              Gerrit Reviews

                There are no open Gerrit changes