Fix incorrectly named lobby option properties.

mods/ts/rules/player.yaml

@@ -43,10 +43,10 @@ Player:
 	PlayerResources:
 		InsufficientFundsNotification: InsufficientFunds
 	DeveloperMode:
-		Enabled: true
-		DisplayOrder: 6
+		CheckboxEnabled: true
+		CheckboxDisplayOrder: 6
 	Shroud:
-		FogDisplayOrder: 3
+		FogCheckboxDisplayOrder: 3
 	FrozenActorLayer:
 	BaseAttackNotifier:
 		AllyNotification: OurAllyIsUnderAttack

mods/ts/rules/world.yaml

@@ -111,15 +111,15 @@ World:
 	ResourceClaimLayer:
 	WarheadDebugOverlay:
 	MapCreeps:
-		Visible: False
+		CheckboxVisible: False
 	SpawnMapActors:
 	MapBuildRadius:
-		AllyBuildRadiusDisplayOrder: 4
-		BuildRadiusDisplayOrder: 5
+		AllyBuildRadiusCheckboxDisplayOrder: 4
+		BuildRadiusCheckboxDisplayOrder: 5
 	MapOptions:
-		ShortGameDisplayOrder: 2
-		TechLevelDisplayOrder: 2
-		GameSpeedDisplayOrder: 3
+		ShortGameCheckboxDisplayOrder: 2
+		TechLevelDropdownDisplayOrder: 2
+		GameSpeedDropdownDisplayOrder: 3
 	CreateMPPlayers:
 	MPStartUnits@MCV:
 		Class: none
@@ -176,7 +176,7 @@ World:
 		OuterSupportRadius: 5
 	MPStartLocations:
 	SpawnMPUnits:
-		DisplayOrder: 1
+		DropdownDisplayOrder: 1
 	CrateSpawner:
 		Minimum: 1
 		Maximum: 6
@@ -184,7 +184,7 @@ World:
 		WaterChance: 0
 		ValidGround: Clear, Rough, Road, DirtRoad, Tiberium, BlueTiberium
 		InitialSpawnDelay: 1500
-		DisplayOrder: 1
+		CheckboxDisplayOrder: 1
 	PathFinder:
 	ValidateOrder:
 	DebugPauseState: