public interface DockingWorkbenchPanelPresenter extends WorkbenchPanelPresenter
Modifier and Type | Method and Description |
---|---|
boolean |
setChildSize(WorkbenchPanelPresenter child,
Integer pixelWidth,
Integer pixelHeight)
Sets the width or height of the given child panel to the given dimension, leaving room for the existing space
taken up by (recursively) nested panels in the NORTH, SOUTH, EAST, and WEST child positions.
|
addPanel, addPart, addPart, changeTitle, getDefaultChildType, getDefinition, getPanels, getPanelView, getParent, getPartType, maximize, onResize, removePanel, removePart, selectPart, setDefinition, setFocus, setParent, unmaximize
boolean setChildSize(WorkbenchPanelPresenter child, Integer pixelWidth, Integer pixelHeight)
child
- the child panel whose size to changepixelWidth
- the new width for the child panel, if it supports horizontal resizing. If null, the width will not be
changed.pixelHeight
- the new height for the child panel, if it supports vertical resizing. If null, the height will not be
changed.Copyright © 2012–2018 JBoss by Red Hat. All rights reserved.