void () { int r = 0; if (!isFocusInHistory()) { int selected = choicesList.getSelectedIndex(); if (canSwitchToHistory() && (selected == 0)) { focusHistory(); } else { r = choicesList.getFirstVisibleIndex(); if (r == selected) { r = Math.max(0, r + r - choicesList.getLastVisibleIndex()); } } } select(r); }