Home
last modified time | relevance | path

Searched refs:workbenchPage (Results 1 – 1 of 1) sorted by relevance

/sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/
DLayoutEditorDelegate.java785 IWorkbenchPage workbenchPage = workbenchSite.getPage(); in isGraphicalEditorActive() local
788 if (workbenchPage.isPartVisible(getEditor()) in isGraphicalEditorActive()
789 && workbenchPage.getActiveEditor() == getEditor()) { in isGraphicalEditorActive()