org.eclipse.xtext.ui.editor.findrefs

Class OpenDocumentTracker.PageListener

java.lang.Object

org.eclipse.xtext.ui.editor.findrefs.OpenDocumentTracker.PageListener

All Implemented Interfaces:

org.eclipse.ui.IPageListener

Enclosing class:

OpenDocumentTracker

protected class OpenDocumentTracker.PageListener
extends Object
implements org.eclipse.ui.IPageListener

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	OpenDocumentTracker.PageListener()

Method Summary

Methods

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OpenDocumentTracker.PageListener

protected OpenDocumentTracker.PageListener()

Method Detail

pageOpened

public void pageOpened(org.eclipse.ui.IWorkbenchPage page)

Specified by:

pageOpened in interface org.eclipse.ui.IPageListener

pageClosed

public void pageClosed(org.eclipse.ui.IWorkbenchPage page)

Specified by:

pageClosed in interface org.eclipse.ui.IPageListener

pageActivated

public void pageActivated(org.eclipse.ui.IWorkbenchPage page)

Specified by:

pageActivated in interface org.eclipse.ui.IPageListener