addLeaf method

void addLeaf(
  1. String tex
)

Add leaf to the current node.

Implementation

void addLeaf(String tex) {
  currentNode.addTeX(TeXLeaf(tex));
  notifyListeners();
}