# HG changeset patch # User Neil Muller # Date 1336661637 -7200 # Node ID e1142e2289d82bb7c7f3e43cc67ebccd45d26462 # Parent 8e64bbd561bd0da441107b9efec489c7903e773f Ensure labels in the correct state diff -r 8e64bbd561bd -r e1142e2289d8 gamelib/gamegui.py --- a/gamelib/gamegui.py Thu May 10 16:50:26 2012 +0200 +++ b/gamelib/gamegui.py Thu May 10 16:53:57 2012 +0200 @@ -585,13 +585,14 @@ return self.save_game() self.game.start_turn() - self.update_labels() self.update_widgets() self.develop.update_widgets() self.activity.update_widgets() # restore previous allocation self.restore_selection(old_allocation) self.develop.restore_selection(old_allocation) + self.update_labels() + self.develop.update_labels() AddWindow.post(results) def save_game(self):