Changed cells are now highlighted when the relevant transition is under
the mouse in the tree.