protected class OpenDocumentTracker.PageListener
extends java.lang.Object
implements org.eclipse.ui.IPageListener
Modifier | Constructor and Description |
---|---|
protected |
OpenDocumentTracker.PageListener() |
Modifier and Type | Method and Description |
---|---|
void |
pageActivated(org.eclipse.ui.IWorkbenchPage page) |
void |
pageClosed(org.eclipse.ui.IWorkbenchPage page) |
void |
pageOpened(org.eclipse.ui.IWorkbenchPage page) |
public void pageOpened(org.eclipse.ui.IWorkbenchPage page)
pageOpened
in interface org.eclipse.ui.IPageListener
public void pageClosed(org.eclipse.ui.IWorkbenchPage page)
pageClosed
in interface org.eclipse.ui.IPageListener
public void pageActivated(org.eclipse.ui.IWorkbenchPage page)
pageActivated
in interface org.eclipse.ui.IPageListener