src/player_gui.cpp
changeset 9161 fda175383e87
parent 9153 d1d16656129b
child 9164 18e971e0b44f
equal deleted inserted replaced
9160:d7160ce357d2 9161:fda175383e87
  1307 					break;
  1307 					break;
  1308 #endif /* ENABLE_NETWORK */
  1308 #endif /* ENABLE_NETWORK */
  1309 			}
  1309 			}
  1310 			break;
  1310 			break;
  1311 
  1311 
  1312 		case WE_MOUSELOOP:
  1312 		case WE_TICK:
  1313 			/* redraw the window every now and then */
  1313 			/* redraw the window every now and then */
  1314 			if ((++w->vscroll.pos & 0x1F) == 0) w->SetDirty();
  1314 			if ((++w->vscroll.pos & 0x1F) == 0) w->SetDirty();
  1315 			break;
  1315 			break;
  1316 
  1316 
  1317 		case WE_PLACE_OBJ:
  1317 		case WE_PLACE_OBJ: