org.freehep.application.mdi
Class TabbedPageManager

java.lang.Object
  org.freehep.application.mdi.PageManager
      org.freehep.application.mdi.TabbedPageManager

Direct Known Subclasses:

ControlPageManager

public class TabbedPageManager
extends PageManager

Version:

$Id: TabbedPageManager.java 8584 2006-08-10 23:06:37Z duns $

Author:

Tony Johnson (tonyj@slac.stanford.edu)

Nested Class Summary

Nested classes/interfaces inherited from class org.freehep.application.mdi.PageManager

PageManager.PageManagerCommandProcessor

Field Summary

protected JTabbedPane

tabs

Fields inherited from class org.freehep.application.mdi.PageManager

listenerList

Constructor Summary

TabbedPageManager()
Creates new TabbedPageManager

Method Summary

protected boolean	close(PageContext page)
protected Component	getEmbodiment()
PageContext	getSelectedPage()
int	getTabPlacement()
protected void	iconChanged(PageContext page)
protected int	indexOfPage(PageContext page)
protected void	init(List pages, PageContext selected)
PageContext	openPage(Component c, String title, Icon icon, String type)
protected void	setActive(boolean active) Called whenever the page manager becomes, or ceases to be, in use.
void	setTabPlacement(int placement)
protected void	show(PageContext page)
protected void	titleChanged(PageContext page)

Methods inherited from class org.freehep.application.mdi.PageManager

addPageListener, closeAll, createCommandProcessor, firePageEvent, firePageOpened, fireSelectionChanged, getCommandProcessor, getPageCount, modifyPopupMenu, openPage, pageManagerType, pages, removePageListener, setPageManagerType

Methods inherited from class java.lang.Object

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

Field Detail

tabs

protected JTabbedPane tabs

Constructor Detail

TabbedPageManager

public TabbedPageManager()

Creates new TabbedPageManager

Method Detail

setTabPlacement

public void setTabPlacement(int placement)

getTabPlacement

public int getTabPlacement()

show

protected void show(PageContext page)

Specified by:

show in class PageManager

getEmbodiment

protected Component getEmbodiment()

Specified by:

getEmbodiment in class PageManager

close

protected boolean close(PageContext page)

Overrides:

close in class PageManager

titleChanged

protected void titleChanged(PageContext page)

Specified by:

titleChanged in class PageManager

iconChanged

protected void iconChanged(PageContext page)

Specified by:

iconChanged in class PageManager

indexOfPage

protected int indexOfPage(PageContext page)

openPage

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

Overrides:

openPage in class PageManager

init

protected void init(List pages,
                    PageContext selected)

Overrides:

init in class PageManager

getSelectedPage

public PageContext getSelectedPage()

Overrides:

getSelectedPage in class PageManager

setActive

protected void setActive(boolean active)

Description copied from class: PageManager

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.

Overrides:

setActive in class PageManager

Parameters:

active - true if the page manager is becoming active, false if it is ceasing to be active