src/gui.h
changeset 8264 b1e85998c7d3
parent 8254 1496654ca5e7
child 8268 5027ad5e70a0
equal deleted inserted replaced
8263:2b3e64c5e680 8264:b1e85998c7d3
     8 #include "window_type.h"
     8 #include "window_type.h"
     9 #include "vehicle_type.h"
     9 #include "vehicle_type.h"
    10 #include "gfx_type.h"
    10 #include "gfx_type.h"
    11 #include "economy_type.h"
    11 #include "economy_type.h"
    12 #include "tile_type.h"
    12 #include "tile_type.h"
       
    13 #include "strings_type.h"
    13 
    14 
    14 /* main_gui.cpp */
    15 /* main_gui.cpp */
    15 void CcPlaySound10(bool success, TileIndex tile, uint32 p1, uint32 p2);
    16 void CcPlaySound10(bool success, TileIndex tile, uint32 p1, uint32 p2);
    16 void CcBuildCanal(bool success, TileIndex tile, uint32 p1, uint32 p2);
    17 void CcBuildCanal(bool success, TileIndex tile, uint32 p1, uint32 p2);
    17 
    18