changeset 5354 | 5f13377c7c78 |
parent 5352 | 82a50c80b0c4 |
child 5410 | 68d63813dd0e |
child 5623 | ef2a8a524a95 |
child 5664 | dbbf4f842a00 |
5353:331cde79a6e4 | 5354:5f13377c7c78 |
---|---|
1655 RaiseWindowButtons(w); |
1655 RaiseWindowButtons(w); |
1656 SetWindowDirty(w); |
1656 SetWindowDirty(w); |
1657 break; |
1657 break; |
1658 case WE_TIMEOUT: |
1658 case WE_TIMEOUT: |
1659 RaiseWindowWidget(w, 3); |
1659 RaiseWindowWidget(w, 3); |
1660 InvalidateWidget(w, 3); |
|
1660 break; |
1661 break; |
1661 } |
1662 } |
1662 } |
1663 } |
1663 |
1664 |
1664 static const WindowDesc _scenedit_industry_normal_desc = { |
1665 static const WindowDesc _scenedit_industry_normal_desc = { |