< prev index next >

src/java.desktop/unix/classes/sun/awt/X11/XMenuBarPeer.java

Print this page

        

*** 499,508 **** --- 499,509 ---- /* * This function is called from XWindow * @see XWindow.handleF10onEDT() */ + @SuppressWarnings("deprecation") void handleF10KeyPress(KeyEvent event) { int keyState = event.getModifiers(); if (((keyState & InputEvent.ALT_MASK) != 0) || ((keyState & InputEvent.SHIFT_MASK) != 0) || ((keyState & InputEvent.CTRL_MASK) != 0)) {
< prev index next >