Add local-only lobby checkboxes/dropdowns

[11EJDE11]

Adds LocalGameLobbyCheckBox and LocalGameLobbyDropDown: lobby options that write to spawn.ini and are remembered per user, but are never broadcast to other players.

A GameLobbyCheckBox is part of the shared game options - it is sent in game option messages, only the host can change it. Some options are purely local, such as whether this player records a replay. Those need to be settable by non-hosts, must not be broadcast, and should be remembered between sessions.

Any GameSessionCheckBox or GameSessionDropDown can now persist through a UserSettingKey, which stores the value in [LocalGameOptions]. That is deliberately independent of SaveSkirmishGameOptions / SaveCampaignGameOptions, which persist whole lobbies under the control's own name and are loaded after the control initialises - setting both for one control would let the older mechanism overwrite the remembered value.

[Metadorius]

What is the use case for such? Currently we do local options through user settings (via literal settings menu), this kind of blurs the line (and honestly calls for a greater restructure I outlined, with shared game options/settings that can be mixed and matched).

[SadPencil]

Can you introduce more about the UserSettingKey, probably with an example? Also, whether it is possible to automatically determine such a key without letting modders naming it?

[11EJDE11]

What is the use case for such? Currently we do local options through user settings (via literal settings menu), this kind of blurs the line (and honestly calls for a greater restructure I outlined, with shared game options/settings that can be mixed and matched).

Use case is for a "Record replay" checkbox shown in the lobby. It needs to write to spawn.ini and not be broadcasted.
Where had you outlined a restructure? I can take a look.

[github-actions]

Nightly build for this pull request:

• artifacts.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.