TreeState (record)

Holds information for a tree, which nodes are expanded and which are selected.

API

TreeState.java
record TreeState {
  TreeState()
  TreeState rootCollapsed()
}