equal
deleted
inserted
replaced
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 |