src/ship_gui.cpp
branchcpp_gui
changeset 6235 5077e6ed3788
parent 6144 5a0ffbf27ced
child 6241 6a7a41b0cd32
--- a/src/ship_gui.cpp	Sun Feb 11 21:20:30 2007 +0000
+++ b/src/ship_gui.cpp	Sun Feb 11 22:57:24 2007 +0000
@@ -302,7 +302,7 @@
 			if (ship_stopped != IsWindowWidgetHidden(w, 7) || ship_stopped == IsWindowWidgetHidden(w, 11)) {
 				SetWindowWidgetHiddenState(w,  7, ship_stopped);  // send to depot
 				SetWindowWidgetHiddenState(w, 11, !ship_stopped); // clone
-				SetWindowDirty(w);
+				w->SetDirty();
 			}
 		}
 	}