diff options
author | Sebastien Revol | 2021-10-18 14:33:03 +0000 |
---|---|---|
committer | Sebastien Revol | 2021-10-18 14:33:03 +0000 |
commit | df83b51276be355003847efd4282f4014e37336a (patch) | |
tree | adb98e919afbb476c554c3df6314290256c54f02 | |
parent | e9a3cc56a92f12b28653a1165a1cbb55cf2a03d2 (diff) | |
download | org.eclipse.papyrus-5.2.0I4.tar.gz org.eclipse.papyrus-5.2.0I4.tar.xz org.eclipse.papyrus-5.2.0I4.zip |
XTextEditor as a nested editor
Change-Id: I6a0a34bbeade9ecd4b0cea6e5918ea8befd40040
Signed-off-by: Sebastien Revol <sebastien.revol@cea.fr>
-rwxr-xr-x | plugins/infra/textedit/org.eclipse.papyrus.infra.textedit.xtext/api/org/eclipse/papyrus/infra/textedit/xtext/nested/editor/NestedXTextEditorStorage.java | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/plugins/infra/textedit/org.eclipse.papyrus.infra.textedit.xtext/api/org/eclipse/papyrus/infra/textedit/xtext/nested/editor/NestedXTextEditorStorage.java b/plugins/infra/textedit/org.eclipse.papyrus.infra.textedit.xtext/api/org/eclipse/papyrus/infra/textedit/xtext/nested/editor/NestedXTextEditorStorage.java index f45fd9a53f8..4f7bbac58ce 100755 --- a/plugins/infra/textedit/org.eclipse.papyrus.infra.textedit.xtext/api/org/eclipse/papyrus/infra/textedit/xtext/nested/editor/NestedXTextEditorStorage.java +++ b/plugins/infra/textedit/org.eclipse.papyrus.infra.textedit.xtext/api/org/eclipse/papyrus/infra/textedit/xtext/nested/editor/NestedXTextEditorStorage.java @@ -117,8 +117,9 @@ public class NestedXTextEditorStorage implements IStorage { uri = uri.appendSegment("nested"); //$NON-NLS-1$ // to be consistent with XText in ViewProperty. In this case the fake resource is called "embedded" uri = uri.appendSegment(xmiID); uri = uri.appendFileExtension(this.fileExtension); // not really used, but to be consistent with the real used grammar - final String platformString = uri.toPlatformString(true); - return new Path(platformString); + // toPlatformString returns null for CDO models + // final String platformString = uri.toPlatformString(true); + return new Path(uri.path()); } /** |