return false;
}
return (jalview.util.ShortcutKeyMaskExWrapper.getMenuShortcutKeyMaskEx() // .getMenuShortcutKeyMaskEx()
- & e.getModifiersEx()) != 0; // getModifiers()) != 0;
+ & jalview.util.ShortcutKeyMaskExWrapper
+ .getModifiersEx(e)) != 0; // getModifiers()) != 0;
}
return e.isControlDown();
}