Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
View | Details | Raw Unified | Return to bug 232500
Collapse All | Expand All

(-)src/org/eclipse/jpt/ui/internal/selection/DefaultJpaSelectionManager.java (-1 / +1 lines)
Lines 143-149 Link Here
143 
	void checkForNoEditors() {
 143 
	void checkForNoEditors() {
144 
		IWorkbenchPage activePage = window.getActivePage();
 144 
		IWorkbenchPage activePage = window.getActivePage();
145 
		if ((activePage == null)
 145 
		if ((activePage == null)
146 
				|| (activePage.getActiveEditor() == null)) {
 146 
				|| (activePage.getEditorReferences().length == 0)) {
147 
			select(DefaultJpaSelection.NULL_SELECTION, null);
 147 
			select(DefaultJpaSelection.NULL_SELECTION, null);
148 
		}
 148 
		}
149 
	}
 149 
	}

Return to bug 232500