src/jalview/util/ShortcutKeyMaskExWrapper.java

   1 package jalview.util;
   2
   3 import java.awt.Toolkit;
   4 import java.awt.event.KeyEvent;
   5
   6 public class ShortcutKeyMaskExWrapper
   7 {
   8
   9   private static boolean init = false;
  10
  11   private static final Float specversion = Float
  12           .parseFloat(System.getProperty("java.specification.version"));
  13
  14   private static final float modern = 11;
  15
  16   public static int SHIFT_DOWN_MASK = KeyEvent.SHIFT_DOWN_MASK;
  17
  18   public static int ALT_DOWN_MASK = KeyEvent.ALT_DOWN_MASK;
  19
  20   public ShortcutKeyMaskExWrapper()
  21   {
  22   }
  23
  24   private static void init()
  25   {
  26     if (init)
  27     {
  28       return;
  29     }
  30     if (specversion < modern)
  31     {
  32       SHIFT_DOWN_MASK = KeyEvent.SHIFT_MASK;
  33       ALT_DOWN_MASK = KeyEvent.ALT_MASK;
  34     }
  35     else
  36     {
  37       SHIFT_DOWN_MASK = KeyEvent.SHIFT_DOWN_MASK;
  38       ALT_DOWN_MASK = KeyEvent.ALT_DOWN_MASK;
  39     }
  40
  41     init = true;
  42   }
  43
  44   public static int getMenuShortcutKeyMaskEx()
  45   {
  46     init();
  47     if (specversion < modern)
  48     {
  49       return Toolkit.getDefaultToolkit().getMenuShortcutKeyMask();
  50     }
  51     else
  52     {
  53       return Toolkit.getDefaultToolkit().getMenuShortcutKeyMaskEx();
  54     }
  55   }
  56
  57 }