Package | Description |
---|---|
pal.gui |
GUI components for some special objects (e.g., trees).
|
Modifier and Type | Field | Description |
---|---|---|
static LabelDisplayer |
TreePainter.HILITED_LABEL_DISPLAY |
|
static LabelDisplayer |
TreePainter.NORMAL_LABEL_DISPLAY |
Modifier and Type | Method | Description |
---|---|---|
static LabelDisplayer |
LabelDisplayer.Utils.buildDisplay(java.awt.Color c) |
|
static LabelDisplayer |
LabelDisplayer.Utils.buildDisplay(java.awt.Color c,
int style) |
|
LabelDisplayer |
NameColouriser.getDisplay(java.lang.String name,
LabelDisplayer defaultDisplay) |
|
LabelDisplayer |
NameColouriser.getDisplay(Identifier id,
LabelDisplayer defaultDisplay) |
|
protected LabelDisplayer |
TreePainter.getNodeDisplay(Node n,
LabelDisplayer defaultDisplay) |
Modifier and Type | Method | Description |
---|---|---|
void |
NameColouriser.addMapping(java.lang.String name,
LabelDisplayer display) |
|
LabelDisplayer |
NameColouriser.getDisplay(java.lang.String name,
LabelDisplayer defaultDisplay) |
|
LabelDisplayer |
NameColouriser.getDisplay(Identifier id,
LabelDisplayer defaultDisplay) |
|
protected LabelDisplayer |
TreePainter.getNodeDisplay(Node n,
LabelDisplayer defaultDisplay) |