Summary: |
The auto-saved and after-shutdown workbench.xmi contents is different |
Product: |
[Eclipse Project] Platform
|
Reporter: |
Rolf Theunissen <rolf.theunissen> |
Component: |
UI | Assignee: |
Platform-UI-Inbox <Platform-UI-Inbox> |
Status: |
NEW
---
|
QA Contact: |
|
Severity: |
normal
|
|
|
Priority: |
P3
|
CC: |
gautier.desaintmartinlacaze
|
Version: |
4.12 | |
|
Target Milestone: |
--- | |
|
Hardware: |
PC | |
|
OS: |
Windows 10 | |
|
See Also: |
https://git.eclipse.org/r/147387
|
Whiteboard: |
|
Bug Depends on: |
413492, 424851, 444216, 486073, 509371, 528152
|
|
|
Bug Blocks: |
|
|
|