src/ai/ai_gui.cpp
branchnoai
changeset 10939 e7693a7bb280
parent 10874 705f4caa0796
child 11027 d1ab0da686d1
equal deleted inserted replaced
10938:df6235dd2b7a 10939:e7693a7bb280
   179 			}
   179 			}
   180 		}
   180 		}
   181 		if (widget == AID_WIDGET_RELOAD_TOGGLE && !this->IsWidgetDisabled(widget)) {
   181 		if (widget == AID_WIDGET_RELOAD_TOGGLE && !this->IsWidgetDisabled(widget)) {
   182 			/* Set the current AI as forced next AI */
   182 			/* Set the current AI as forced next AI */
   183 			AIInfo *info = AI_GetPlayerInfo(ai_debug_player);
   183 			AIInfo *info = AI_GetPlayerInfo(ai_debug_player);
   184 			AI_ForceAI(info->GetName());
   184 			AI_ForceAI(info->GetDirName());
   185 
   185 
   186 			/* First kill the company of the AI, then start a new one. This should start the current AI again */
   186 			/* First kill the company of the AI, then start a new one. This should start the current AI again */
   187 			DoCommandP(0, 2, ai_debug_player, NULL, CMD_PLAYER_CTRL);
   187 			DoCommandP(0, 2, ai_debug_player, NULL, CMD_PLAYER_CTRL);
   188 			DoCommandP(0, 1, 0, NULL, CMD_PLAYER_CTRL);
   188 			DoCommandP(0, 1, 0, NULL, CMD_PLAYER_CTRL);
   189 		}
   189 		}