zoccihedron/wpi-suite — pull request #366 by jnallard (2014-05-01 02:57:36+00:00)
Title: Fix panel refresh

Fixes #302 - which was only on this branch, anyways.
Fixes #262

The overview panel now updates when it detects a change in the game.
And the game is reselected in the list.
And only the root node now refreshes the list.