package org.eclipse.ui; | |
/* | |
* (c) Copyright IBM Corp. 2000, 2001. | |
* All Rights Reserved. | |
*/ | |
/** | |
* Interface for listening to page lifecycle events. | |
* <p> | |
* This interface may be implemented by clients. | |
* </p> | |
* | |
* @see IPageService#addPageListener | |
*/ | |
public interface IPageListener { | |
/** | |
* Notifies this listener that the given page has been activated. | |
* | |
* @param page the page that was activated | |
* @see IWorkbenchWindow#setActivePage | |
*/ | |
public void pageActivated(IWorkbenchPage page); | |
/** | |
* Notifies this listener that the given page has been closed. | |
* | |
* @param page the page that was closed | |
* @see IWorkbenchPage#close | |
*/ | |
public void pageClosed(IWorkbenchPage page); | |
/** | |
* Notifies this listener that the given page has been opened. | |
* | |
* @param page the page that was opened | |
* @see IWorkbenchWindow#openPage | |
*/ | |
public void pageOpened(IWorkbenchPage page); | |
} |