diff options
| author | davidms | 2008-07-30 21:50:19 +0000 |
|---|---|---|
| committer | davidms | 2008-07-30 21:50:19 +0000 |
| commit | d58758b11b191db97f7222d85ecf44bc67d5bb50 (patch) | |
| tree | d0071d0d63401e50445c0f41ca040192fec97812 /examples/org.eclipse.emf.java.editor | |
| parent | 7a63166d4babb2f5d7866e5c9a6cd7201a5542c1 (diff) | |
| download | org.eclipse.emf-d58758b11b191db97f7222d85ecf44bc67d5bb50.tar.gz org.eclipse.emf-d58758b11b191db97f7222d85ecf44bc67d5bb50.tar.xz org.eclipse.emf-d58758b11b191db97f7222d85ecf44bc67d5bb50.zip | |
[236362] Regenerate editor to pick up createPlatformResourceURI() change
Diffstat (limited to 'examples/org.eclipse.emf.java.editor')
| -rw-r--r-- | examples/org.eclipse.emf.java.editor/src/org/eclipse/emf/java/presentation/JavaEditor.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/examples/org.eclipse.emf.java.editor/src/org/eclipse/emf/java/presentation/JavaEditor.java b/examples/org.eclipse.emf.java.editor/src/org/eclipse/emf/java/presentation/JavaEditor.java index 4b360a74c..b6dca9e42 100644 --- a/examples/org.eclipse.emf.java.editor/src/org/eclipse/emf/java/presentation/JavaEditor.java +++ b/examples/org.eclipse.emf.java.editor/src/org/eclipse/emf/java/presentation/JavaEditor.java @@ -12,7 +12,7 @@ * * </copyright> * - * $Id: JavaEditor.java,v 1.25 2008/06/05 15:57:03 emerks Exp $ + * $Id: JavaEditor.java,v 1.26 2008/07/30 21:50:19 davidms Exp $ */ package org.eclipse.emf.java.presentation; @@ -497,7 +497,7 @@ public class JavaEditor if (delta.getKind() == IResourceDelta.REMOVED || delta.getKind() == IResourceDelta.CHANGED && delta.getFlags() != IResourceDelta.MARKERS) { - Resource resource = resourceSet.getResource(URI.createURI(delta.getFullPath().toString()), false); + Resource resource = resourceSet.getResource(URI.createPlatformResourceURI(delta.getFullPath().toString(), true), false); if (resource != null) { if (delta.getKind() == IResourceDelta.REMOVED) |