controller property

DiTreDiController controller

The DiTreDiController to control. Should be the same as the one used in the DiTreDi widget.

Implementation

final DiTreDiController controller;