public interface DockingWorkbenchPanelView<P extends WorkbenchPanelPresenter> extends WorkbenchPanelView<P>
Modifier and Type | Method and Description |
---|---|
boolean |
setChildSize(WorkbenchPanelView<?> childPanel,
int size)
Sets the size (width for EAST or WEST children; height for NORTH and SOUTH children) allocated to the specified
child by moving its splitter bar on the screen.
|
addPanel, addPart, changeTitle, getPartDropRegion, getParts, getPresenter, maximize, removePanel, removePart, selectPart, setElementId, setFocus, unmaximize
init
boolean setChildSize(WorkbenchPanelView<?> childPanel, int size)
childPanel
- the panel whose size to changeCopyright © 2012–2018 JBoss by Red Hat. All rights reserved.