Game tree now refreshes properly in all cases.

These changes should fix any bugs where you need to click away from the overview panel and then click back to see the tree update properly.

There are a few other minor changes - please see commit messages!