public class DockPageManager extends PageManager
PageManager
that displays its pages as tabs (when docked) or windows (un-docked).PageManager.PageManagerCommandProcessor
Constructor and Description |
---|
DockPageManager() |
Modifier and Type | Method and Description |
---|---|
int |
getTabPlacement() |
boolean |
isDocked(Component component) |
PageContext |
openPage(Component page,
String title,
Icon icon,
String type,
boolean selectOnOpen)
Submits a new page to this page manager, to be open in the docked mode.
|
PageContext |
openPage(Component page,
String title,
Icon icon,
String type,
boolean selectOnOpen,
Dimension size,
Point location,
String device,
boolean maximized)
Submits a new page to this page manager, to be open in the un-docked mode.
|
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 PageContext openPage(Component page, String title, Icon icon, String type, boolean selectOnOpen, Dimension size, Point location, String device, boolean maximized)
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 once open.size
- Requested page size. If null
, the size is chosen based on the page properties.location
- Requested window location. If null
, the window is positioned in the top left corner.device
- The screen ID. If null
, the default screen is used.maximized
- If true
, the window will be maximized.PageContext
instance that can be used to handle the submitted page.public boolean isDocked(Component component)
public void setTabPlacement(int placement)
public int getTabPlacement()
Copyright © 2000–2017 FreeHEP. All rights reserved.