179180181182183184185186187188189
menu.tick(); } else { if (player.removed) { playerDeadTime++; if (playerDeadTime > 60) { setMenu(new DeadMenu()); } } else { if (pendingLevelChange != 0) { setMenu(new LevelTransitionMenu(pendingLevelChange)); pendingLevelChange = 0;