diff options
| author | Esteban Dugueperoux | 2015-10-28 09:36:50 +0000 |
|---|---|---|
| committer | Esteban DUGUEPEROUX | 2015-10-30 15:04:12 +0000 |
| commit | 4746fd5a29c6d3798ab3d29dc82cedf3ca2ad93b (patch) | |
| tree | 36bc0f2e767894a5487bb9632e3f1bfeb5174734 | |
| parent | 46769d2c2f979790f5aeb7e1c148495cab4f1d4c (diff) | |
| download | org.eclipse.sirius-4746fd5a29c6d3798ab3d29dc82cedf3ca2ad93b.tar.gz org.eclipse.sirius-4746fd5a29c6d3798ab3d29dc82cedf3ca2ad93b.tar.xz org.eclipse.sirius-4746fd5a29c6d3798ab3d29dc82cedf3ca2ad93b.zip | |
[480847] SessionEditorInput.saveState() should save correct URI
- SessionEditorInput.saveState() should save correct URI in memento.
Bug: 480847
Change-Id: If73fc87d0b59b6d0daf317c6b1de9a1478c164ec
Signed-off-by: Esteban Dugueperoux <esteban.dugueperoux@obeo.fr>
| -rw-r--r-- | plugins/org.eclipse.sirius.ui/src/org/eclipse/sirius/ui/business/api/session/SessionEditorInput.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/org.eclipse.sirius.ui/src/org/eclipse/sirius/ui/business/api/session/SessionEditorInput.java b/plugins/org.eclipse.sirius.ui/src/org/eclipse/sirius/ui/business/api/session/SessionEditorInput.java index 8d4a94f409..85521c9e53 100644 --- a/plugins/org.eclipse.sirius.ui/src/org/eclipse/sirius/ui/business/api/session/SessionEditorInput.java +++ b/plugins/org.eclipse.sirius.ui/src/org/eclipse/sirius/ui/business/api/session/SessionEditorInput.java @@ -163,6 +163,7 @@ public class SessionEditorInput extends URIEditorInput { @Override public void saveState(final IMemento memento) { super.saveState(memento); + memento.putString(URIEditorInput.URI_TAG, getURI().toString()); memento.putString(URIEditorInput.NAME_TAG, getName()); memento.putString(URIEditorInput.CLASS_TAG, getClass().getName()); if (sessionResourceURI != null) { |