org.freehep.application.mdi
Class PageManager

java.lang.Object
  extended by 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 14082 2012-12-12 16:16:53Z tonyj $
Author:
Tony Johnson (tonyj@slac.stanford.edu)

Nested Class Summary
 class PageManager.PageManagerCommandProcessor
           
 
Constructor Summary
PageManager()
           
 
Method Summary
 void addPageListener(PageListener listener)
          Add a page listener to receive notifications of user initiated changes
 boolean closeAll()
           
 int getPageCount()
           
 PageContext getSelectedPage()
           
 PageContext openPage(Component c, String title, Icon icon)
           
 PageContext openPage(Component c, String title, Icon icon, String type)
           
 PageContext openPage(Component c, String title, Icon icon, String type, boolean selectOnOpen)
           
 List pages()
           
 void removePageListener(PageListener listener)
          Remove a previously installed PageListener
 void setPageManagerType(String type)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PageManager

public PageManager()
Method Detail

openPage

public PageContext openPage(Component c,
                            String title,
                            Icon icon)

openPage

public PageContext openPage(Component c,
                            String title,
                            Icon icon,
                            String type)

openPage

public PageContext openPage(Component c,
                            String title,
                            Icon icon,
                            String type,
                            boolean selectOnOpen)

closeAll

public boolean closeAll()

getPageCount

public int getPageCount()

getSelectedPage

public PageContext getSelectedPage()

pages

public List pages()

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

setPageManagerType

public void setPageManagerType(String type)


Copyright © 2000-2014 FreeHEP. All Rights Reserved.