#7 Switching notebook tabs switch the selected element tree

[Frank]

Changing selected element tree in the left pane changes
the corresponding document in the notebook.

I wish changing selected document in the notebook of
the right pane would change the selected element tree
in the left pane.