src/players.cpp
changeset 8604 8afdd9877afd
parent 8602 9e75e594a068
child 8610 17cc343a23dd
equal deleted inserted replaced
8603:88c5ce6a5215 8604:8afdd9877afd
    27 #include "date.h"
    27 #include "date.h"
    28 #include "player_face.h"
    28 #include "player_face.h"
    29 #include "group.h"
    29 #include "group.h"
    30 #include "settings.h"
    30 #include "settings.h"
    31 #include "window_func.h"
    31 #include "window_func.h"
       
    32 #include "tile_map.h"
    32 
    33 
    33 /**
    34 /**
    34  * Sets the local player and updates the patch settings that are set on a
    35  * Sets the local player and updates the patch settings that are set on a
    35  * per-company (player) basis to reflect the core's state in the GUI.
    36  * per-company (player) basis to reflect the core's state in the GUI.
    36  * @param new_player the new player
    37  * @param new_player the new player