branch | cpp_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(); } } }