AIGameSettingControls.Dock = class extends AIGameSettingControlInt
{
	constructor(...args)
	{
		super(...args);
		this.defaultValue = 90;
		g_GameSettings.playerAI.watch(() => this.render(), ["values"]);
	}

	onOpenPage(playerIndex, enabled)
	{
		super.onOpenPage(playerIndex, enabled);
		this.render();
	}

	render()
	{
		const ai = g_GameSettings.playerAI.get(this.playerIndex);
		this.setHidden(!ai);
		if (ai)
		{
			const value = ai.priorities?.dock ?? this.defaultValue;
			this.setIntValue(value);
		}
	}

	onValueChange(value)
	{
		const ai = g_GameSettings.playerAI.get(this.playerIndex);
		const priorities = ai && ai.priorities ? { ...ai.priorities, "dock": value } : { "dock": value };
		g_GameSettings.playerAI.setPriorities(this.playerIndex, priorities);
		this.gameSettingsController.setNetworkInitAttributes();
	}
};

AIGameSettingControls.Dock.prototype.TitleCaption =
	translate("Dock");
