children property
Children of this node.
children stores structural information of the Red-Green Tree.
Used for green tree updates. The order of children should strictly
adheres to the cursor-visiting order in editing mode, in order to get a
correct cursor range in the editing mode. E.g., for SqrtNode, when
moving cursor from left to right, the cursor first enters index, then
base, so it should return index, base
.
Please ensure children works in the same order as updateChildren, computeChildOptions, and buildWidget.
Implementation
@override
List<GreenNode> get children => const [];