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)