|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use NameColouriser | |
---|---|
pal.gui | GUI components for some special objects (e.g., trees). |
Uses of NameColouriser in pal.gui |
---|
Methods in pal.gui with parameters of type NameColouriser | |
---|---|
void |
TreePainter.setColouriser(NameColouriser nc)
|
void |
TreeComponent.setColouriser(NameColouriser nc)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |