public class DockPageManager extends PageManager
PageManager
that displays its pages as tabs (when docked) or windows (undocked).PageManager.PageManagerCommandProcessor
Constructor and Description |
---|
DockPageManager()
Constructs an instance.
|
Modifier and Type | Method and Description |
---|---|
int |
getTabPlacement() |
PageContext |
openPage(Component page,
String title,
Icon icon,
String type,
boolean selectOnOpen)
Submits a new page to this page manager.
|
void |
setTabPlacement(int placement) |
addPageListener, closeAll, getContext, getPageCount, getSelectedPage, openPage, openPage, pages, removePageListener, setPageManagerType
public PageContext openPage(Component page, String title, Icon icon, String type, boolean selectOnOpen)
openPage
in class PageManager
page
- Graphical component to be handled by this page manager.title
- Name for the page.icon
- Icon for the page.type
- Type of the page.selectOnOpen
- If true
, the page will be selected and displayed.
Implementation provided by this class ignores this parameter.PageContext
instance that can be used to handle the submitted page.public void setTabPlacement(int placement)
public int getTabPlacement()
Copyright © 2000–2015 FreeHEP. All rights reserved.