Community
Participate
Working Groups
The workbench has an auto-save feature, to restore the workbench in case of crashes. However the auto-saved version of the workbench.xmi differs from the workbench.xmi that is stored after shutdown. This bug is used to track all differences. And to track existing workarounds to for the resulting effects of the differences, such as duplication of UI elements. Know issues: - Not all clean actions are run on the auto-save copy resulting in duplication of UI elements, e.g. Bug 509371 and Bug 413492 - Non-restorable parts are saved in the auto-save copy, resulting in restoring of non-restorable parts, e.g. Bug 486073 - Saving of state only on exit of the workbench, e.g. PersistedState workingSets and aggregateWorkingSetId are only saved on close.
New Gerrit change created: https://git.eclipse.org/r/147387