{
return false;
}
- return (Toolkit.getDefaultToolkit().getMenuShortcutKeyMaskEx() // .getMenuShortcutKeyMask()
+ return (Toolkit.getDefaultToolkit().getMenuShortcutKeyMaskEx() // .getMenuShortcutKeyMaskEx()
& e.getModifiersEx()) != 0; // getModifiers()) != 0;
}
return e.isControlDown();