public interface ToolkitSpecificMultipleAlignmentsContainer extends ToolkitComponent
MultipleAlignmentsContainer
.Modifier and Type | Method and Description |
---|---|
void |
adoptChildAreas()
This method is used internally by
MultipleAlignmentsContainer if the order or set of contained
alignment areas changes and these changes shall be reflected by the underlying GUI component. |
int |
getAvailableHeight()
Returns the height that is currently available to be distributed among all contained alignment areas.
|
AlignmentArea |
getFocusedAlignmentArea()
Returns the alignment area contained in this component, that currently has the focus.
|
int |
getNeededHeight(int alignmentIndex)
Return the height needed for the specified alignment to be displayed without scroll bars.
|
void |
setDividerLocations(int[] heights)
Sets the divider locations to distribute the available height among the contained alignment areas.
|
assignSize, getIndependentComponent, getLocationInParent, getTargetToolkit, getToolkitSize, isFocusOwner, repaint, requestFocus
void adoptChildAreas()
MultipleAlignmentsContainer
if the order or set of contained
alignment areas changes and these changes shall be reflected by the underlying GUI component.int getAvailableHeight()
int getNeededHeight(int alignmentIndex)
alignmentIndex
- the current index of the alignment in the containervoid setDividerLocations(int[] heights)
heights
- an array containing the heights for all alignment areasAlignmentArea getFocusedAlignmentArea()
Note that application developers should use MultipleAlignmentsContainer.getFocusedAlignmentArea()
instead of calling this method directly, because that method also checks, if a toolkit-specific component
has already been created.
null
of the focus is not inside this containerMultipleAlignmentsContainer.getFocusedAlignmentArea()