Uses of Interface
pal.gui.LabelDisplayer

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)