The list of trees to be displayed
The font
A label that displays a number n as "n: ".
A label that displays a number n as "n: ". It can be selected and deselected by left-clicking. If first one and then another of these in the same panel is selected, a SwitchEvent will be published.
Class that displays a list of expansion trees.