X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Futil%2FPlatform.java;h=1be60861371173dddf8e5256b41d52868f84cc88;hb=3027bfb4b1b13af8686abcd419888e03141bd672;hp=4625055a436b4ce10cdb58845ae5517c98bfb832;hpb=65b3002214c10eaf8722c20edfd47cca9b767961;p=jalview.git

diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java
index 4625055..1be6086 100644
--- a/src/jalview/util/Platform.java
+++ b/src/jalview/util/Platform.java
@@ -140,7 +140,7 @@ public class Platform
       {
         return false;
       }
-      return (Toolkit.getDefaultToolkit().getMenuShortcutKeyMaskEx() // .getMenuShortcutKeyMask()
+      return (Toolkit.getDefaultToolkit().getMenuShortcutKeyMaskEx() // .getMenuShortcutKeyMaskEx()
               & e.getModifiersEx()) != 0; // getModifiers()) != 0;
     }
     return e.isControlDown();