commit | 8185ab4ca8d58705d1cf6b099fce0905987ebbf8 | [log] [tgz] |
---|---|---|
author | pfullbright <pfullbright> | Tue Apr 07 20:34:26 2009 +0000 |
committer | pfullbright <pfullbright> | Tue Apr 07 20:34:26 2009 +0000 |
tree | 0d2ae9142649baa5d02615fa7bd7b02930589a74 | |
parent | 13425259bc781169fb51a77f4cdd1402b9cda60a [diff] |
[228237] - fixed problems with switching editors in navigator view (and exception w/ relationship mapping ui switching)
diff --git a/jpa/plugins/org.eclipse.jpt.ui/src/org/eclipse/jpt/ui/internal/selection/DefaultJpaSelectionManager.java b/jpa/plugins/org.eclipse.jpt.ui/src/org/eclipse/jpt/ui/internal/selection/DefaultJpaSelectionManager.java index e0c716e..3a94968 100644 --- a/jpa/plugins/org.eclipse.jpt.ui/src/org/eclipse/jpt/ui/internal/selection/DefaultJpaSelectionManager.java +++ b/jpa/plugins/org.eclipse.jpt.ui/src/org/eclipse/jpt/ui/internal/selection/DefaultJpaSelectionManager.java
@@ -241,7 +241,10 @@ } public void partBroughtToTop(IWorkbenchPartReference partRef) { - // nop + IWorkbenchPart part = partRef.getPart(false); + if (part != null) { + initPart(part); + } } public void partClosed(IWorkbenchPartReference partRef) {
diff --git a/jpa/plugins/org.eclipse.jpt.ui/src/org/eclipse/jpt/ui/internal/views/structure/JpaStructureView.java b/jpa/plugins/org.eclipse.jpt.ui/src/org/eclipse/jpt/ui/internal/views/structure/JpaStructureView.java index ab2b23b..fb45b40 100644 --- a/jpa/plugins/org.eclipse.jpt.ui/src/org/eclipse/jpt/ui/internal/views/structure/JpaStructureView.java +++ b/jpa/plugins/org.eclipse.jpt.ui/src/org/eclipse/jpt/ui/internal/views/structure/JpaStructureView.java
@@ -46,6 +46,13 @@ } @Override + public void partBroughtToTop(IWorkbenchPart part) { + // do same thing as partActivated, which will check to see if the + // part is an editor, in which case, we want to show the right page + partActivated(part); + } + + @Override protected boolean isImportant(IWorkbenchPart part) { return part instanceof IEditorPart; }