addLeaf method
Add leaf to the current node.
Implementation
void addLeaf(String tex) {
currentNode.addTeX(TeXLeaf(tex));
notifyListeners();
}
Add leaf to the current node.
void addLeaf(String tex) {
currentNode.addTeX(TeXLeaf(tex));
notifyListeners();
}