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 LabelDisplayerTreePainter. HILITED_LABEL_DISPLAYstatic LabelDisplayerTreePainter. NORMAL_LABEL_DISPLAYMethods in pal.gui that return LabelDisplayer Modifier and Type Method Description static LabelDisplayerLabelDisplayer.Utils. buildDisplay(java.awt.Color c)static LabelDisplayerLabelDisplayer.Utils. buildDisplay(java.awt.Color c, int style)LabelDisplayerNameColouriser. getDisplay(java.lang.String name, LabelDisplayer defaultDisplay)LabelDisplayerNameColouriser. getDisplay(Identifier id, LabelDisplayer defaultDisplay)protected LabelDisplayerTreePainter. getNodeDisplay(Node n, LabelDisplayer defaultDisplay)Methods in pal.gui with parameters of type LabelDisplayer Modifier and Type Method Description voidNameColouriser. addMapping(java.lang.String name, LabelDisplayer display)LabelDisplayerNameColouriser. getDisplay(java.lang.String name, LabelDisplayer defaultDisplay)LabelDisplayerNameColouriser. getDisplay(Identifier id, LabelDisplayer defaultDisplay)protected LabelDisplayerTreePainter. getNodeDisplay(Node n, LabelDisplayer defaultDisplay)
-