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 java.lang.Object
implements org.eclipse.ui.IPageListener

Constructor Summary

protected

OpenDocumentTracker.PageListener()

Method Summary

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