JAL-2272 right mouse button on Mac is not Cmd equivalent!

diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java
index 3fb384f..9df2060 100644 (file)
--- a/src/jalview/util/Platform.java
+++ b/src/jalview/util/Platform.java
@@ -91,6 +91,13 @@ public class Platform
   {
     if (isAMac())
     {
+      /*
+       * answer false for right mouse button
+       */
+      if (e.isPopupTrigger())
+      {
+        return false;
+      }
       return (Toolkit.getDefaultToolkit().getMenuShortcutKeyMask() & e
               .getModifiers()) != 0;
       // could we use e.isMetaDown() here?