src/dock_gui.cpp
changeset 8032 f35fba9bacb0
parent 7997 df87ccd00a96
child 8106 e6790dd9e750
--- a/src/dock_gui.cpp	Sat Dec 08 01:02:19 2007 +0000
+++ b/src/dock_gui.cpp	Sat Dec 08 01:20:47 2007 +0000
@@ -171,7 +171,7 @@
 		break;
 
 	case WE_ABORT_PLACE_OBJ:
-		RaiseWindowButtons(w);
+		w->RaiseButtons();
 
 		w = FindWindowById(WC_BUILD_STATION, 0);
 		if (w != NULL) WP(w, def_d).close = true;