package jalview.util;
-import java.awt.Toolkit;
-import java.awt.event.KeyEvent;
+import java.awt.event.MouseEvent;
public class ShortcutKeyMaskExWrapper
{
- private static boolean init = false;
+ private static final Float specversion;
- private static final Float specversion = Float
- .parseFloat(System.getProperty("java.specification.version"));
+ private static final float modern;
- private static final float modern = 11;
+ public static final int SHIFT_DOWN_MASK;
- public static int SHIFT_DOWN_MASK = KeyEvent.SHIFT_DOWN_MASK;
+ public static final int ALT_DOWN_MASK;
- public static int ALT_DOWN_MASK = KeyEvent.ALT_DOWN_MASK;
+ private static final ShortcutKeyMaskExWrapperI wrapper;
- public ShortcutKeyMaskExWrapper()
+ static
{
- }
+ specversion = Float
+ .parseFloat(System.getProperty("java.specification.version"));
+ modern = 11;
- private static void init()
- {
- if (init)
- {
- return;
- }
- if (specversion < modern)
+ if (specversion >= modern)
{
- SHIFT_DOWN_MASK = KeyEvent.SHIFT_MASK;
- ALT_DOWN_MASK = KeyEvent.ALT_MASK;
+ wrapper = new ShortcutKeyMaskExWrapper11();
}
else
{
- SHIFT_DOWN_MASK = KeyEvent.SHIFT_DOWN_MASK;
- ALT_DOWN_MASK = KeyEvent.ALT_DOWN_MASK;
+ wrapper = new ShortcutKeyMaskExWrapper8();
}
-
- init = true;
+ SHIFT_DOWN_MASK = wrapper.SHIFT_DOWN_MASK;
+ ALT_DOWN_MASK = wrapper.ALT_DOWN_MASK;
}
public static int getMenuShortcutKeyMaskEx()
{
- init();
- if (specversion < modern)
- {
- return Toolkit.getDefaultToolkit().getMenuShortcutKeyMask();
- }
- else
- {
- return Toolkit.getDefaultToolkit().getMenuShortcutKeyMaskEx();
- }
+ return wrapper.getMenuShortcutKeyMaskEx();
+ }
+
+ public static int getModifiersEx(MouseEvent e)
+ {
+ return wrapper.getModifiersEx(e);
}
}