diff -r 8470042a618f -r bc938928f466 src/toolbar_gui.cpp --- a/src/toolbar_gui.cpp Sat Jun 14 01:08:59 2008 +0000 +++ b/src/toolbar_gui.cpp Sat Jun 14 01:45:58 2008 +0000 @@ -866,12 +866,6 @@ _place_proc(tile); } - virtual void OnPlaceObjectAbort() - { - this->RaiseWidget(25); - this->SetDirty(); - } - virtual void OnTick() { if (this->IsWidgetLowered(0) != !!_pause_game) { @@ -1080,12 +1074,6 @@ _place_proc(tile); } - virtual void OnPlaceObjectAbort() - { - this->RaiseWidget(25); - this->SetDirty(); - } - virtual void OnResize(Point new_size, Point delta) { /* There are 15 buttons plus some spacings if the space allows it.