org.freehep.application.mdi
Class PageManager
java.lang.Object
org.freehep.application.mdi.PageManager
- Direct Known Subclasses:
- InternalFramePageManager, TabbedPageManager
- public abstract class PageManager
- extends Object
A PageManager manages a set of pages.
- Version:
- $Id: PageManager.java,v 1.8 2004/07/27 17:49:10 tonyj Exp $
- Author:
- Tony Johnson (tonyj@slac.stanford.edu)
- Source Code:
- PageManager.java
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
listenerList
protected EventListenerList listenerList
PageManager
public PageManager()
openPage
public PageContext openPage(Component c,
String title,
Icon icon)
setActive
protected void setActive(boolean active)
- Called whenever the page manager becomes, or ceases to be, in use.
Can be used to allocated and/or free-up resources used by the page manager.
- Parameters:
active
- true
if the page manager is becoming active, false
if it is ceasing to be active
firePageOpened
protected void firePageOpened(PageContext context)
closeAll
public boolean closeAll()
getPageCount
public int getPageCount()
getSelectedPage
public PageContext getSelectedPage()
show
protected abstract void show(PageContext page)
close
protected boolean close(PageContext page)
titleChanged
protected abstract void titleChanged(PageContext page)
iconChanged
protected abstract void iconChanged(PageContext page)
getEmbodiment
protected abstract Component getEmbodiment()
createCommandProcessor
protected CommandProcessor createCommandProcessor()
getCommandProcessor
protected CommandProcessor getCommandProcessor()
pages
public List pages()
init
protected void init(List pages,
PageContext selected)
fireSelectionChanged
protected void fireSelectionChanged(PageContext context)
firePageEvent
protected void firePageEvent(PageContext context,
int id)
addPageListener
public void addPageListener(PageListener listener)
- Add a page listener to receive notifications of user initiated changes
- Parameters:
listener
- The PageListener to install
removePageListener
public void removePageListener(PageListener listener)
- Remove a previously installed PageListener
- Parameters:
listener
- The PageListener to remove
Copyright © 2000-2004 FreeHEP, All Rights Reserved.