src/jalview/util/ShortcutKeyMaskExWrapperI.java

   1 package jalview.util;
   2
   3 import java.awt.event.MouseEvent;
   4
   5 public interface ShortcutKeyMaskExWrapperI
   6 {
   7   public static int SHIFT_DOWN_MASK = 0;
   8
   9   public static int ALT_DOWN_MASK = 0;
  10
  11   public int getMenuShortcutKeyMaskEx();
  12
  13   public int getModifiersEx(MouseEvent e);
  14 }