484             }
 485             break;
 486         default:
 487             super.handleEvent(event);
 488             break;
 489         }
 490     }
 491 
 492 
 493 
 494     /************************************************
 495      *
 496      * Overriden XWindow keyboard processing
 497      *
 498      ************************************************/
 499 
 500     /*
 501      * This function is called from XWindow
 502      * @see XWindow.handleF10onEDT()
 503      */

 504     void handleF10KeyPress(KeyEvent event) {
 505         int keyState = event.getModifiers();
 506         if (((keyState & InputEvent.ALT_MASK) != 0) ||
 507             ((keyState & InputEvent.SHIFT_MASK) != 0) ||
 508             ((keyState & InputEvent.CTRL_MASK) != 0)) {
 509             return;
 510         }
 511         grabInput();
 512         selectItem(getFirstSelectableItem(), true);
 513     }
 514 
 515     /*
 516      * In previous version keys were handled in handleKeyPress.
 517      * Now we override this function do disable F10 explicit
 518      * processing. All processing is done using KeyEvent.
 519      */
 520     public void handleKeyPress(XEvent xev) {
 521         XKeyEvent xkey = xev.get_xkey();
 522         if (log.isLoggable(PlatformLogger.Level.FINE)) {
 523             log.fine(xkey.toString());

 484             }
 485             break;
 486         default:
 487             super.handleEvent(event);
 488             break;
 489         }
 490     }
 491 
 492 
 493 
 494     /************************************************
 495      *
 496      * Overriden XWindow keyboard processing
 497      *
 498      ************************************************/
 499 
 500     /*
 501      * This function is called from XWindow
 502      * @see XWindow.handleF10onEDT()
 503      */
 504     @SuppressWarnings("deprecation")
 505     void handleF10KeyPress(KeyEvent event) {
 506         int keyState = event.getModifiers();
 507         if (((keyState & InputEvent.ALT_MASK) != 0) ||
 508             ((keyState & InputEvent.SHIFT_MASK) != 0) ||
 509             ((keyState & InputEvent.CTRL_MASK) != 0)) {
 510             return;
 511         }
 512         grabInput();
 513         selectItem(getFirstSelectableItem(), true);
 514     }
 515 
 516     /*
 517      * In previous version keys were handled in handleKeyPress.
 518      * Now we override this function do disable F10 explicit
 519      * processing. All processing is done using KeyEvent.
 520      */
 521     public void handleKeyPress(XEvent xev) {
 522         XKeyEvent xkey = xev.get_xkey();
 523         if (log.isLoggable(PlatformLogger.Level.FINE)) {
 524             log.fine(xkey.toString());