Suppose a player turns on the extra option panel, leave the lobby, and then re-join a lobby, the extra option panel is still turned on, instead of the default panel that displays players with their factions, colors, and locations.
This current behavior might be non-straightforward to players -- panel that belongs to the parent should also be closed when the parent is closed. It might be better to auto close the extra option panel when user leaves the lobby.
artifacts-Ares.zip
This comment is automatic and is meant to allow guests to get latest automatic builds without registering. It is updated on every successful build.
Suppose a player turns on the extra option panel, leave the lobby, and then re-join a lobby, the extra option panel is still turned on, instead of the default panel that displays players with their factions, colors, and locations.
This current behavior might be non-straightforward to players -- panel that belongs to the parent should also be closed when the parent is closed. It might be better to auto close the extra option panel when user leaves the lobby.