X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Futil%2FPlatform.java;h=49dc7ff1f082fddbb51a1dc28f6fc840e3eda21c;hb=607a4aecda2f99866bb1acf7d364a6dde4e215bd;hp=85a27f615729c69fd6082df575d5b4922046b395;hpb=ce21c3bd8e2aa1937541b60cc775ffa99229feaf;p=jalview.git diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java index 85a27f6..49dc7ff 100644 --- a/src/jalview/util/Platform.java +++ b/src/jalview/util/Platform.java @@ -30,6 +30,10 @@ import java.awt.event.MouseEvent; */ public class Platform { + private static Boolean isAMac = null; + + private static Boolean isHeadless = null; + /** * sorry folks - Macs really are different * @@ -37,15 +41,21 @@ public class Platform */ public static boolean isAMac() { - return java.lang.System.getProperty("os.name").indexOf("Mac") > -1; + if (isAMac == null) + { + isAMac = System.getProperty("os.name").indexOf("Mac") > -1; + } + return isAMac.booleanValue(); } public static boolean isHeadless() { - String hdls = java.lang.System.getProperty("java.awt.headless"); - - return hdls != null && hdls.equals("true"); + if (isHeadless == null) + { + isHeadless = "true".equals(System.getProperty("java.awt.headless")); + } + return isHeadless; } /** @@ -79,16 +89,38 @@ public class Platform } /** - * Answers true if the mouse event has Meta-down (on Mac) or Ctrl-down (on - * other o/s) + * Answers true if the mouse event has Meta-down (Command key on Mac) or + * Ctrl-down (on other o/s). Note this answers _false_ if the Ctrl key is + * pressed instead of the Meta/Cmd key on Mac. To test for Ctrl-click on Mac, + * you can use e.isPopupTrigger(). * * @param e * @return */ public static boolean isControlDown(MouseEvent e) { - if (isAMac()) + boolean aMac = isAMac(); + return isControlDown(e, aMac); + } + + /** + * Overloaded version of method (to allow unit testing) + * + * @param e + * @param aMac + * @return + */ + protected static boolean isControlDown(MouseEvent e, boolean aMac) + { + if (aMac) { + /* + * answer false for right mouse button + */ + if (e.isPopupTrigger()) + { + return false; + } return (Toolkit.getDefaultToolkit().getMenuShortcutKeyMask() & e .getModifiers()) != 0; // could we use e.isMetaDown() here?