From 019dcb7b7b010ce85260aa075f859d63fa020868 Mon Sep 17 00:00:00 2001
From: Didac Perez Parera <perez.didac@gmail.com>
Date: Tue, 8 Nov 2022 10:23:34 -0800
Subject: [PATCH] Change: Let AI developers edit non-editable AI/Game Script
 Parameters (#8895)

---
 src/ai/ai_gui.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/ai/ai_gui.cpp b/src/ai/ai_gui.cpp
index 1168092f19..9ec0942fb8 100644
--- a/src/ai/ai_gui.cpp
+++ b/src/ai/ai_gui.cpp
@@ -592,7 +592,10 @@ struct AISettingsWindow : public Window {
 private:
 	bool IsEditableItem(const ScriptConfigItem &config_item) const
 	{
-		return _game_mode == GM_MENU || ((this->slot != OWNER_DEITY) && !Company::IsValidID(this->slot)) || (config_item.flags & SCRIPTCONFIG_INGAME) != 0;
+		return _game_mode == GM_MENU
+			|| ((this->slot != OWNER_DEITY) && !Company::IsValidID(this->slot))
+			|| (config_item.flags & SCRIPTCONFIG_INGAME) != 0
+			|| _settings_client.gui.ai_developer_tools;
 	}
 };