main_gui.c
changeset 5354 5f13377c7c78
parent 5352 82a50c80b0c4
child 5410 68d63813dd0e
child 5623 ef2a8a524a95
child 5664 dbbf4f842a00
equal deleted inserted replaced
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 = {