3 import java.awt.event.MouseEvent;
5 public class ShortcutKeyMaskExWrapper
8 private static final Float specversion;
10 private static final float modern;
12 public static final int SHIFT_DOWN_MASK;
14 public static final int ALT_DOWN_MASK;
16 private static final ShortcutKeyMaskExWrapperI wrapper;
20 specversion = Platform.isJS() ? Float.valueOf(8)
22 System.getProperty("java.specification.version"));
25 if (specversion >= modern)
27 wrapper = new jalview.util.ShortcutKeyMaskExWrapper11();
28 SHIFT_DOWN_MASK = jalview.util.ShortcutKeyMaskExWrapper11.SHIFT_DOWN_MASK;
29 ALT_DOWN_MASK = jalview.util.ShortcutKeyMaskExWrapper11.ALT_DOWN_MASK;
33 wrapper = new jalview.util.ShortcutKeyMaskExWrapper8();
34 SHIFT_DOWN_MASK = jalview.util.ShortcutKeyMaskExWrapper8.SHIFT_DOWN_MASK;
35 ALT_DOWN_MASK = jalview.util.ShortcutKeyMaskExWrapper8.ALT_DOWN_MASK;
39 public static int getMenuShortcutKeyMaskEx()
41 return wrapper.getMenuShortcutKeyMaskEx();
44 public static int getModifiersEx(MouseEvent e)
46 return wrapper.getModifiersEx(e);