|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use LabelDisplayer | |
---|---|
pal.gui | GUI components for some special objects (e.g., trees). |
Uses of LabelDisplayer in pal.gui |
---|
Fields in pal.gui declared as LabelDisplayer | |
---|---|
static LabelDisplayer |
TreePainter.HILITED_LABEL_DISPLAY
|
static LabelDisplayer |
TreePainter.NORMAL_LABEL_DISPLAY
|
Methods in pal.gui that return LabelDisplayer | |
---|---|
static LabelDisplayer |
LabelDisplayer.Utils.buildDisplay(java.awt.Color c)
|
static LabelDisplayer |
LabelDisplayer.Utils.buildDisplay(java.awt.Color c,
int style)
|
LabelDisplayer |
NameColouriser.getDisplay(Identifier id,
LabelDisplayer defaultDisplay)
|
LabelDisplayer |
NameColouriser.getDisplay(java.lang.String name,
LabelDisplayer defaultDisplay)
|
protected LabelDisplayer |
TreePainter.getNodeDisplay(Node n,
LabelDisplayer defaultDisplay)
|
Methods in pal.gui with parameters of type LabelDisplayer | |
---|---|
void |
NameColouriser.addMapping(java.lang.String name,
LabelDisplayer display)
|
LabelDisplayer |
NameColouriser.getDisplay(Identifier id,
LabelDisplayer defaultDisplay)
|
LabelDisplayer |
NameColouriser.getDisplay(java.lang.String name,
LabelDisplayer defaultDisplay)
|
protected LabelDisplayer |
TreePainter.getNodeDisplay(Node n,
LabelDisplayer defaultDisplay)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |