402403404405406407408
break; er.nextEvent(); // actually advance now } while (true); return new MenuUserAction(inputs, repeatTexts); }