File diff r8122:b60b03677b3f → r8123:dde0a9a84019
src/players.cpp
Show inline comments
 
@@ -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