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;
21 .parseFloat(System.getProperty("java.specification.version"));
24 if (specversion >= modern)
26 wrapper = new jalview.util.ShortcutKeyMaskExWrapper11();
27 SHIFT_DOWN_MASK = jalview.util.ShortcutKeyMaskExWrapper11.SHIFT_DOWN_MASK;
28 ALT_DOWN_MASK = jalview.util.ShortcutKeyMaskExWrapper11.ALT_DOWN_MASK;
32 wrapper = new jalview.util.ShortcutKeyMaskExWrapper8();
33 SHIFT_DOWN_MASK = jalview.util.ShortcutKeyMaskExWrapper8.SHIFT_DOWN_MASK;
34 ALT_DOWN_MASK = jalview.util.ShortcutKeyMaskExWrapper8.ALT_DOWN_MASK;
38 public static int getMenuShortcutKeyMaskEx()
40 return wrapper.getMenuShortcutKeyMaskEx();
43 public static int getModifiersEx(MouseEvent e)
45 return wrapper.getModifiersEx(e);