@@ -26,13 +26,13 @@
#include "player_face.h"
#include "group.h"
#include "settings.h"
#include "window_func.h"
#include "tile_map.h"
#include "strings_func.h"
#include "gfx.h"
#include "gfx_func.h"
/**
* Sets the local player and updates the patch settings that are set on a
* per-company (player) basis to reflect the core's state in the GUI.
* @param new_player the new player
* @pre IsValidPlayer(new_player) || new_player == PLAYER_SPECTATOR || new_player == OWNER_NONE