Simplification of editor open code.
diff --git a/org.eclipse.rmf.reqif10.search.ui/src/org/eclipse/rmf/reqif10/search/ui/ReqIFSearchResultPage.java b/org.eclipse.rmf.reqif10.search.ui/src/org/eclipse/rmf/reqif10/search/ui/ReqIFSearchResultPage.java
index 28673bd..97c3bb4 100644
--- a/org.eclipse.rmf.reqif10.search.ui/src/org/eclipse/rmf/reqif10/search/ui/ReqIFSearchResultPage.java
+++ b/org.eclipse.rmf.reqif10.search.ui/src/org/eclipse/rmf/reqif10/search/ui/ReqIFSearchResultPage.java
@@ -149,18 +149,8 @@
* be opened or activated, and the object will be selected.
*/
protected void showIfPossible(Object object) {
- if (object instanceof SpecHierarchy) {
- SpecHierarchy sh = (SpecHierarchy)object;
- while (sh.eContainer() instanceof SpecHierarchy) {
- sh = (SpecHierarchy) sh.eContainer();
- }
- object = sh.eContainer();
- }
- if (object instanceof Specification) {
- // Find the corresponding Editor
-
- Specification spec = (Specification) object;
- ProrEditorUtil.getEditor(spec);
+ if (object instanceof EObject) {
+ ProrEditorUtil.getEditor((EObject) object);
}
}
