Uses of Class pal.gui.NameColouriser

Packages that use NameColouriser

Package

Description

GUI components for some special objects (e.g., trees).

Uses of NameColouriser in pal.gui

Methods in pal.gui with parameters of type NameColouriser

Modifier and Type

Method

Description

void

TreeComponent.setColouriser(NameColouriser nc)

final void

TreePainter.setColouriser(NameColouriser nc)