From 65b3002214c10eaf8722c20edfd47cca9b767961 Mon Sep 17 00:00:00 2001
From: Ben Soares <bsoares@dundee.ac.uk>
Date: Thu, 13 Dec 2018 12:12:21 +0000
Subject: [PATCH] JAL-3130 Use non-deprecated check for Mac CMD key press

---
 src/jalview/util/Platform.java |    5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java
index 2c74609..4625055 100644
--- a/src/jalview/util/Platform.java
+++ b/src/jalview/util/Platform.java
@@ -140,9 +140,8 @@ public class Platform
       {
         return false;
       }
-      return (Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()
-              & e.getModifiers()) != 0;
-      // could we use e.isMetaDown() here?
+      return (Toolkit.getDefaultToolkit().getMenuShortcutKeyMaskEx() // .getMenuShortcutKeyMask()
+              & e.getModifiersEx()) != 0; // getModifiers()) != 0;
     }
     return e.isControlDown();
   }
-- 
1.7.10.2