| commit | ec5a5bc25b6454780fcff0840b0a20960d768311 | [log] [tgz] |
|---|---|---|
| author | pfullbright <pfullbright> | Wed Apr 01 19:37:52 2009 +0000 |
| committer | pfullbright <pfullbright> | Wed Apr 01 19:37:52 2009 +0000 |
| tree | 38ad90d03e4d3f1bf265ece94d08ce135c6b6561 | |
| parent | 546f70855d9822b1fe5f8fe550b9259d36641d69 [diff] |
[232500] - changed check for 'no editors' to consider a maximized view
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 b83bca6..e0c716e 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
@@ -143,7 +143,7 @@ void checkForNoEditors() { IWorkbenchPage activePage = window.getActivePage(); if ((activePage == null) - || (activePage.getActiveEditor() == null)) { + || (activePage.getEditorReferences().length == 0)) { select(DefaultJpaSelection.NULL_SELECTION, null); } }