From ad8017291a51843e07e82675aafdd9626b9dbb20 Mon Sep 17 00:00:00 2001
From: gmungoc <g.m.carstairs@dundee.ac.uk>
Date: Fri, 4 Nov 2016 14:02:41 +0000
Subject: [PATCH] JAL-2272 right mouse button on Mac is not Cmd equivalent!

---
 src/jalview/util/Platform.java |    7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java
index 3fb384f..9df2060 100644
--- 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?
-- 
1.7.10.2