src/dock_gui.cpp
changeset 8032 f35fba9bacb0
parent 7997 df87ccd00a96
child 8106 e6790dd9e750
equal deleted inserted replaced
8031:5e19ea672f5c 8032:f35fba9bacb0
   169 			}
   169 			}
   170 		}
   170 		}
   171 		break;
   171 		break;
   172 
   172 
   173 	case WE_ABORT_PLACE_OBJ:
   173 	case WE_ABORT_PLACE_OBJ:
   174 		RaiseWindowButtons(w);
   174 		w->RaiseButtons();
   175 
   175 
   176 		w = FindWindowById(WC_BUILD_STATION, 0);
   176 		w = FindWindowById(WC_BUILD_STATION, 0);
   177 		if (w != NULL) WP(w, def_d).close = true;
   177 		if (w != NULL) WP(w, def_d).close = true;
   178 
   178 
   179 		w = FindWindowById(WC_BUILD_DEPOT, 0);
   179 		w = FindWindowById(WC_BUILD_DEPOT, 0);