src/jalview/util/ShortcutKeyMaskExWrapper.java

   1 /*
   2  * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
   3  * Copyright (C) $$Year-Rel$$ The Jalview Authors
   4  *
   5  * This file is part of Jalview.
   6  *
   7  * Jalview is free software: you can redistribute it and/or
   8  * modify it under the terms of the GNU General Public License
   9  * as published by the Free Software Foundation, either version 3
  10  * of the License, or (at your option) any later version.
  11  *
  12  * Jalview is distributed in the hope that it will be useful, but
  13  * WITHOUT ANY WARRANTY; without even the implied warranty
  14  * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
  15  * PURPOSE.  See the GNU General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU General Public License
  18  * along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
  19  * The Jalview Authors are detailed in the 'AUTHORS' file.
  20  */
  21 package jalview.util;
  22
  23 import java.awt.GraphicsEnvironment;
  24 import java.awt.Toolkit;
  25 import java.awt.event.KeyEvent;
  26 import java.lang.reflect.Method;
  27
  28 public class ShortcutKeyMaskExWrapper
  29 {
  30 //
  31 //  public static int SHIFT_DOWN_MASK = KeyEvent.SHIFT_DOWN_MASK;
  32 //
  33 //  public static int ALT_DOWN_MASK = KeyEvent.ALT_DOWN_MASK;
  34 //
  35 //  public static int SHORTCUT_KEY_MASK = (Platform.isMac() ? KeyEvent.META_DOWN_MASK : KeyEvent.CTRL_DOWN_MASK);
  36 //
  37 //  static
  38 //  {
  39 //    if (!GraphicsEnvironment.isHeadless())
  40 //    {
  41 //      try
  42 //      {
  43 //
  44 //        Class<? extends Toolkit> tk = Toolkit.getDefaultToolkit().getClass();
  45 //        Method method = tk.getMethod("getMenuShortcutKeyMaskEx");
  46 //        if (method == null)
  47 //          method = tk.getMethod("getMenuShortcutKeyMask");
  48 //        SHORTCUT_KEY_MASK = ((int) method.invoke(tk, new Object[0]));
  49 //        if (SHORTCUT_KEY_MASK <= 0xF)
  50 //        {
  51 //          // shift this into the extended region (was Java 8)
  52 //          SHORTCUT_KEY_MASK = SHORTCUT_KEY_MASK << 6;
  53 //        }
  54 //      } catch (Exception e)
  55 //      {
  56 //      }
  57 //    }
  58 //  }
  59 //
  60 //  public static int getMenuShortcutKeyMaskEx()
  61 //  {
  62 //    return SHORTCUT_KEY_MASK;
  63 //  }
  64
  65 }