This is better than watching whether ngramsParent is Nothing because subtrees could be edited as well.
Jun 21, 2022