Added resetUpdateVars(), so that selection/property update handler is actually refreshed and so improves performance like it's meant to. ;) Thanks for spotting that, Philip.

This was SVN commit r3053.

binaries/data/mods/official/gui/test/functions_page_session.js

@@ -342,6 +342,9 @@ function snRefresh()
 		// Update Team Tray
 // (later, we need to base this on the player creating a group).
 //		refreshTeamTray();
+
+		// Refresh handler that monitors whether property/selection has been updated.
+		resetUpdateVars();
 	}
 }