Used by Wunderbaum.getState and Wunderbaum.setState.
The active column index if any.
The active node's key if any.
List of expanded node's keys.
List of selected node's keys.
Used by Wunderbaum.getState and Wunderbaum.setState.