Attempt to fix #36.
Same change nodes in the tree are disabled when a change node is applied. #36
The text coloring, however, might still not be grayed, if the same changes are not visible in the tree.