isAMac() -> isAMacAndNotJS(), isWindows() -> isWindowsAndNotJS()

Added Platform.isWin[Right|Middle]Button()

diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java
index bb3f7fa..6c32ad4 100644 (file)
--- a/src/jalview/util/Platform.java
+++ b/src/jalview/util/Platform.java
@@ -191,8 +191,8 @@ public class Platform
        return !isAMacAndNotJS() && SwingUtilities.isRightMouseButton(e);
   }
 
-  public static boolean isWinMiddleButton(MouseEvent evt) 
+  public static boolean isWinMiddleButton(MouseEvent e) 
   {
-       return !isAMacAndNotJS() && ((evt.getModifiers() & InputEvent.BUTTON2_MASK) == InputEvent.BUTTON2_MASK);
+       return !isAMacAndNotJS() && SwingUtilities.isMiddleMouseButton(e);
   }
 }