X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Futil%2FPlatform.java;h=286ded1afd45fcd19f8fc9ec63ea2c4aba2c59d7;hb=26b115b0a77d521da92a06572d9b7819c2d0d49a;hp=bb3f7fa61082fa1fe1b1ef6c940c12cdfe13a327;hpb=f5d6c0018555b2c453c2c0354c84cd5d2d81e3b9;p=jalview.git

diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java
index bb3f7fa..286ded1 100644
--- a/src/jalview/util/Platform.java
+++ b/src/jalview/util/Platform.java
@@ -21,7 +21,6 @@
 package jalview.util;
 
 import java.awt.Toolkit;
-import java.awt.event.InputEvent;
 import java.awt.event.MouseEvent;
 
 import javax.swing.SwingUtilities;
@@ -34,11 +33,41 @@ import javax.swing.SwingUtilities;
 public class Platform
 {
 
-  private static Boolean isNoJSMac = null, isNoJSWindows = null;
+  private static boolean isJS = /** @j2sNative true || */false;
 
+  private static Boolean isNoJSMac = null, isNoJSWin = null, 
+		  isMac = null, isWin = null;
+  
   private static Boolean isHeadless = null;
 
   /**
+   * added to group mouse events into Windows and nonWindows (mac, unix, linux)
+   * @return
+   */
+  public static boolean isMac()
+  {
+	  return (isMac == null ? (isMac = (System.getProperty("os.name").indexOf("Mac") >= 0)) : isMac);
+  }
+
+  /**
+   * added to group mouse events into Windows and nonWindows (mac, unix, linux)
+   * @return
+   */
+  public static boolean isWin() 
+  {
+	  return (isWin == null ? (isWin = (System.getProperty("os.name").indexOf("Win") >= 0)) : isWin);
+  }
+
+  /**
+   * 
+   * @return true if HTML5 JavaScript
+   */
+  public static boolean isJS()
+  {
+	return isJS;
+  }
+
+  /**
    * sorry folks - Macs really are different
    * 
    * BH: disabled for SwingJS -- will need to check key-press issues
@@ -47,61 +76,18 @@ public class Platform
    */
   public static boolean isAMacAndNotJS()
   {
-    if (isNoJSMac == null)
-    {
-      isNoJSMac = /** @j2sNative false && */
-              System.getProperty("os.name").indexOf("Mac") > -1;
-    }
-
-    return isNoJSMac.booleanValue();
-
+	return (isNoJSMac == null ? (isNoJSMac = !isJS && isMac()) : isNoJSMac);
   }
 
-  /**
+/**
    * Check if we are on a Microsoft plaform...
    * 
    * @return true if we have to cope with another platform variation
    */
   public static boolean isWindowsAndNotJS()
   {
-    if (isNoJSWindows == null)
-    {
-      isNoJSWindows = /** @j2sNative false && */
-              System.getProperty("os.name").indexOf("Win") > -1;
-    }
-    return isNoJSWindows.booleanValue();
-  }
-
-// BH - preferred:
-//
-//  /**
-//   * @return true if this is a Mac
-//   */
-//  private static boolean isAMac()
-//  {
-//    if (isAMac == null)
-//    {
-//    	isAMac = System.getProperty("os.name").indexOf("Mac") > -1;
-//    }
-//
-//    return isAMac.booleanValue();
-//
-//  }
-//
-//  /**
-//   * Check if we are on a Microsoft plaform...
-//   * 
-//   * @return true if we have to cope with another platform variation
-//   */
-//  private static boolean isWindows()
-//  {
-//    if (isWindows == null)
-//    {
-//    	isWindows = System.getProperty("os.name").indexOf("Win") > -1;
-//    }
-//    return isWindows.booleanValue();
-//  }
-//
+	return (isNoJSWin == null ? (isNoJSWin = !isJS && isWin()) : isNoJSWin);
+   }
 
   /**
    * 
@@ -157,8 +143,7 @@ public class Platform
    */
   public static boolean isControlDown(MouseEvent e)
   {
-    boolean aMac = isAMacAndNotJS();
-    return isControlDown(e, aMac);
+    return isControlDown(e, isMac());
   }
 
   /**
@@ -170,29 +155,70 @@ public class Platform
    */
   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?
+    if (!aMac) {
+        return e.isControlDown();    	
     }
-    return e.isControlDown();
+      // answer false for right mouse button
+      // shortcut key will be META for a Mac 
+    return !e.isPopupTrigger() 
+    		  && (Toolkit.getDefaultToolkit().getMenuShortcutKeyMask() & e.getModifiers()) != 0;
+      // could we use e.isMetaDown() here?
   }
 
+  /**
+   * Windows (not Mac, Linux, or Unix) and right button
+   * to test for the right-mouse pressed event in Windows
+   * that would have opened a menu or a Mac. 
+   * 
+   * @param e
+   * @return
+   */
   public static boolean isWinRightButton(MouseEvent e) 
   {
-	return !isAMacAndNotJS() && SwingUtilities.isRightMouseButton(e);
+	  // was !isAMac(), but that is true also for Linux and Unix and JS, 
+
+	  return isWin() && SwingUtilities.isRightMouseButton(e);
+  }
+  
+  
+  /**
+   * Windows (not Mac, Linux, or Unix) and middle button -- for mouse wheeling 
+   * without pressing the button.
+   * 
+   * @param e
+   * @return
+   */
+  public static boolean isWinMiddleButton(MouseEvent e) 
+  {
+	// was !isAMac(), but that is true also for Linux and Unix and JS
+	  return isWin() && SwingUtilities.isMiddleMouseButton(e);
   }
 
-  public static boolean isWinMiddleButton(MouseEvent evt) 
+  public static boolean allowMnemonics() 
   {
-	return !isAMacAndNotJS() && ((evt.getModifiers() & InputEvent.BUTTON2_MASK) == InputEvent.BUTTON2_MASK);
+	return !isMac();
   }
+  
+  public final static int TIME_RESET = 0;
+  public final static int TIME_MARK  = 1;
+  
+  public static long time, mark;
+  
+  public static void timeCheck(String msg, int mode) {
+	  switch (mode) {
+	  case TIME_RESET:
+		  time = mark = System.currentTimeMillis();
+		  System.err.println("Platform: timer reset\t\t\t" + msg);
+		  break;
+	  case TIME_MARK:
+		  long t = System.currentTimeMillis();
+		  if (time == 0)
+			  time = mark = t;
+		  System.err.println("Platform: timer mark\t" + ((t - time)/1000f) + "\t" + ((t - mark)/1000f) + "\t" + msg);
+		  mark = t;
+		  break;
+	  }
+  }
+
+   
 }