diff options
| author | Henrik Rentz-Reichert | 2012-01-31 07:59:10 +0000 |
|---|---|---|
| committer | Henrik Rentz-Reichert | 2012-01-31 07:59:10 +0000 |
| commit | a2b39e2b4a4f2dfce49e9309f06de27478df6505 (patch) | |
| tree | 56903b3daecd07472df2afcbc3049ff6f5e23143 | |
| parent | 94dc93bdf440d962ffa0ebea88eb5e1f74b60f89 (diff) | |
| download | org.eclipse.etrice-a2b39e2b4a4f2dfce49e9309f06de27478df6505.tar.gz org.eclipse.etrice-a2b39e2b4a4f2dfce49e9309f06de27478df6505.tar.xz org.eclipse.etrice-a2b39e2b4a4f2dfce49e9309f06de27478df6505.zip | |
[core.room] editor opener for non-platform URIs preserves fragments
| -rw-r--r-- | plugins/org.eclipse.etrice.core.room.ui/src/org/eclipse/etrice/core/ui/GlobalNonPlatformURIEditorOpener.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/org.eclipse.etrice.core.room.ui/src/org/eclipse/etrice/core/ui/GlobalNonPlatformURIEditorOpener.java b/plugins/org.eclipse.etrice.core.room.ui/src/org/eclipse/etrice/core/ui/GlobalNonPlatformURIEditorOpener.java index 9406f472a..029f5ce2f 100644 --- a/plugins/org.eclipse.etrice.core.room.ui/src/org/eclipse/etrice/core/ui/GlobalNonPlatformURIEditorOpener.java +++ b/plugins/org.eclipse.etrice.core.room.ui/src/org/eclipse/etrice/core/ui/GlobalNonPlatformURIEditorOpener.java @@ -48,7 +48,7 @@ public class GlobalNonPlatformURIEditorOpener extends GlobalURIEditorOpener { if (files.length!=0) {
String pluri = files[0].toString();
// the pluri starts with L/ which we have to omit for URI.createPlatformResourceURI
- uri = URI.createPlatformResourceURI(pluri.substring(2), true);
+ uri = URI.createPlatformResourceURI(pluri.substring(2), true).appendFragment(uri.fragment());
}
return uri;
}
|