Uses of Interface
pal.gui.LabelDisplayer
-
Packages that use LabelDisplayer Package Description pal.gui GUI components for some special objects (e.g., trees). -
-
Uses of LabelDisplayer in pal.gui
Fields in pal.gui declared as LabelDisplayer Modifier and Type Field Description static LabelDisplayer
TreePainter. HILITED_LABEL_DISPLAY
static LabelDisplayer
TreePainter. NORMAL_LABEL_DISPLAY
Methods in pal.gui that return LabelDisplayer 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)
Methods in pal.gui with parameters of type LabelDisplayer 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)
-