file = ResourcesPlugin.getWorkspace().getRoot().getFile(new Path(fei.getURI().getPath()));
} else {
FileEditorInput fei = (FileEditorInput) getEditorInput();
- file = ResourcesPlugin.getWorkspace().getRoot().getFile(fei.getPath());
+ // added to fix ticket 637
+ file = ResourcesPlugin.getWorkspace().getRoot().getFile(new Path(fei.getURI().getPath()));
}
ShowInContext context = BrowserUtil.getShowInContext(file,
false, "");