void (ActionEvent e) { // without moving the focus, move up one page on the popup menu, // probably jumping to history list if (popup.isVisible()) { boolean focusPopup = popup.isPopupFocused(); popup.selectUpPage(); popup.setPopupFocused(focusPopup); } }