public class AlignmentLabelArea extends TICComponent
AlignmentArea
.
Application developers will not need to create instances of this class directly but should
use AlignmentArea
.
Modifier and Type | Field and Description |
---|---|
static int |
BORDER_WIDTH |
static double |
RECALCULATE_VALUE |
DISPATCHER_MAP, repaintRequested
Constructor and Description |
---|
AlignmentLabelArea(AlignmentArea owner)
Creates a new instance of this class.
|
Modifier and Type | Method and Description |
---|---|
void |
assignSizeToAll() |
double |
getGlobalMaxNeededWidth()
Returns the maximum needed width to label the alignment calculated over all alignments contained in the parent
MultipleAlignmentsContainer . |
double |
getLocalMaximumNeededWidth()
Calculates the needed with to label the associated alignment.
|
AlignmentArea |
getOwner()
Returns the alignment area that uses this instance.
|
java.awt.Dimension |
getSize() |
protected java.lang.String |
getSwingComponentClassName(java.lang.Object... parameters) |
protected java.lang.String |
getSWTComponentClassName(java.lang.Object... parameters) |
ToolkitSpecificAlignmentLabelArea |
getToolkitComponent() |
void |
paint(TICPaintEvent event) |
void |
setLocalMaxWidthRecalculate()
Flags the needed width to display all labels to be recalculated the next time it is accessed.
|
void |
setLocalMaxWidthRecalculateToAll() |
AlignmentLabelSubAreaIterator |
subAreaIterator() |
addKeyListener, addMouseListener, addMouseWheelListener, assignSize, dispatchEvent, getCurrentToolkit, getKeyListenersSet, getMouseListenersSet, getMouseWheelListenersSet, getSwingComponentConstructorParameters, getSWTComponentConstructorParameters, hasDefinedSize, hasToolkitComponent, isUpdateOngoing, removeKeyListener, removeMouseListener, removeWheelMouseListener, repaint, setToolkitComponent, setUpdateOngoing
public static final int BORDER_WIDTH
public static final double RECALCULATE_VALUE
public AlignmentLabelArea(AlignmentArea owner)
owner
- the alignment area that uses this instanceposition
- Specify here whether this area will be used to label the head, the content, or the
bottom part of the alignment area.public AlignmentArea getOwner()
public AlignmentLabelSubAreaIterator subAreaIterator()
public double getLocalMaximumNeededWidth()
getGlobalMaxNeededWidth()
.public void setLocalMaxWidthRecalculate()
Note that this method only marks the needed width of this area to be recalculated.
setLocalMaxWidthRecalculateToAll()
should always be called instead, unless this method
is called manually for all areas inside an MultipleAlignmentsContainer
.
Application code will usually not have to call this method directly.
public void setLocalMaxWidthRecalculateToAll()
public double getGlobalMaxNeededWidth()
MultipleAlignmentsContainer
. If the parent alignment area is not contained in such a container, the
return value is equal to getLocalMaximumNeededWidth()
.public java.awt.Dimension getSize()
getSize
in class TICComponent
public void assignSizeToAll()
public void paint(TICPaintEvent event)
paint
in class TICComponent
protected java.lang.String getSwingComponentClassName(java.lang.Object... parameters)
getSwingComponentClassName
in class TICComponent
protected java.lang.String getSWTComponentClassName(java.lang.Object... parameters)
getSWTComponentClassName
in class TICComponent
public ToolkitSpecificAlignmentLabelArea getToolkitComponent()
getToolkitComponent
in class TICComponent