JAL-3130 Some automatically fixed deprecated calls. Mostly constructors converted...
[jalview.git] / src / jalview / util / Platform.java
index 4625055..1be6086 100644 (file)
@@ -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();