ship_gui.c
changeset 1977 37bbebf94434
parent 1962 8254df1b359b
child 1986 fcc849a38ae6
--- a/ship_gui.c	Thu Jun 23 18:32:41 2005 +0000
+++ b/ship_gui.c	Fri Jun 24 12:38:35 2005 +0000
@@ -302,7 +302,7 @@
 	w->caption_color = v->owner;
 }
 
-void CcBuildShip(bool success, uint tile, uint32 p1, uint32 p2)
+void CcBuildShip(bool success, TileIndex tile, uint32 p1, uint32 p2)
 {
 	Vehicle *v;
 	if (!success) return;
@@ -602,7 +602,7 @@
 
 static void DrawShipDepotWindow(Window *w)
 {
-	uint tile;
+	TileIndex tile;
 	Vehicle *v;
 	int num,x,y;
 	Depot *depot;
@@ -825,7 +825,7 @@
 	ShipDepotWndProc
 };
 
-void ShowShipDepotWindow(uint tile)
+void ShowShipDepotWindow(TileIndex tile)
 {
 	Window *w;
 
@@ -1010,7 +1010,7 @@
 		} break;
 
 		case 9: { /* Build new Vehicle */
-			uint tile;
+			TileIndex tile;
 
 			if (!IsWindowOfPrototype(w, _player_ships_widgets))
 				break;