src/misc_gui.cpp
changeset 8528 04b4ef9abd9b
parent 8524 baf4ab1ba18d
child 8532 3099f32f9bfd
equal deleted inserted replaced
8527:f463267f422f 8528:04b4ef9abd9b
   404 	case WE_TIMEOUT:
   404 	case WE_TIMEOUT:
   405 		w->RaiseWidget(16);
   405 		w->RaiseWidget(16);
   406 		break;
   406 		break;
   407 
   407 
   408 	case WE_ABORT_PLACE_OBJ:
   408 	case WE_ABORT_PLACE_OBJ:
   409 		RaiseWindowButtons(w);
   409 		w->RaiseButtons();
   410 		break;
   410 		break;
   411 	}
   411 	}
   412 }
   412 }
   413 
   413 
   414 static const Widget _build_trees_widgets[] = {
   414 static const Widget _build_trees_widgets[] = {