ship_cmd.c
changeset 5256 90226d8da8fb
parent 5215 439d5ca71311
child 5259 08336337aae0
--- a/ship_cmd.c	Tue Dec 05 22:40:42 2006 +0000
+++ b/ship_cmd.c	Tue Dec 05 22:59:42 2006 +0000
@@ -920,6 +920,7 @@
 		RebuildVehicleLists();
 		InvalidateWindow(WC_COMPANY, v->owner);
 		DeleteWindowById(WC_VEHICLE_VIEW, v->index);
+		DeleteDepotHighlightOfVehicle(v);
 		DeleteVehicle(v);
 		if (IsLocalPlayer())
 			InvalidateWindow(WC_REPLACE_VEHICLE, VEH_Ship); // updates the replace Ship window