/*
- * Jalview - A Sequence Alignment Editor and Viewer (Version 2.9.0b2)
- * Copyright (C) 2015 The Jalview Authors
+ * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
+ * Copyright (C) $$Year-Rel$$ The Jalview Authors
*
* This file is part of Jalview.
*
import java.awt.Toolkit;
import java.awt.event.MouseEvent;
+import javax.swing.SwingUtilities;
+
/**
* System platform information used by Applet and Application
*
*/
public class Platform
{
+
+ 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
+ *
* @return true if we do things in a special way.
*/
- public static boolean isAMac()
+ public static boolean isAMacAndNotJS()
{
- return java.lang.System.getProperty("os.name").indexOf("Mac") > -1;
-
+ return (isNoJSMac == null ? (isNoJSMac = !isJS && isMac()) : isNoJSMac);
}
- public static boolean isHeadless()
+/**
+ * Check if we are on a Microsoft plaform...
+ *
+ * @return true if we have to cope with another platform variation
+ */
+ public static boolean isWindowsAndNotJS()
{
- String hdls = java.lang.System.getProperty("java.awt.headless");
+ return (isNoJSWin == null ? (isNoJSWin = !isJS && isWin()) : isNoJSWin);
+ }
- return hdls != null && hdls.equals("true");
+ /**
+ *
+ * @return true if we are running in non-interactive no UI mode
+ */
+ public static boolean isHeadless()
+ {
+ if (isHeadless == null)
+ {
+ isHeadless = "true".equals(System.getProperty("java.awt.headless"));
+ }
+ return isHeadless;
}
/**
/**
* 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,
+ * pressed instead of the Meta/Cmd key on Mac. To test for Ctrl-pressed on Mac,
* you can use e.isPopupTrigger().
*
* @param e
*/
public static boolean isControlDown(MouseEvent e)
{
- if (isAMac())
- {
- return (Toolkit.getDefaultToolkit().getMenuShortcutKeyMask() & e
- .getModifiers()) != 0;
- // could we use e.isMetaDown() here?
+ return isControlDown(e, isMac());
+ }
+
+ /**
+ * Overloaded version of method (to allow unit testing)
+ *
+ * @param e
+ * @param aMac
+ * @return
+ */
+ protected static boolean isControlDown(MouseEvent e, boolean aMac)
+ {
+ 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)
+ {
+ // 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 allowMnemonics()
+ {
+ 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;
+ }
+ }
+
+
}