| changeset 8032 | f35fba9bacb0 |
| parent 8028 | e578ea22f371 |
| child 8036 | 279f4cbf9ec7 |
| 8031:5e19ea672f5c | 8032:f35fba9bacb0 |
|---|---|
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[] = { |