package jalview.bin;
+import jalview.util.Platform;
+
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
protected static int focusTime = 0;
-private static void showFocusTimer() {
-
- Timer t = new Timer(100, new ActionListener() {
+ private static void showFocusTimer()
+ {
- @Override
- public void actionPerformed(ActionEvent e) {
- String s = /** @j2sNative document.activeElement.id || */
- null;
+ if (Platform.isJS())
+ {
+ Timer t = new Timer(100, new ActionListener()
+ {
- s += " " + (++focusTime);
+ @Override
+ public void actionPerformed(ActionEvent e)
+ {
+ String s = /** @j2sNative document.activeElement.id || */
+ null;
- /** @j2sNative document.title = s; */
- }
+ s += " " + (++focusTime);
- });
+ /** @j2sNative document.title = s; */
+ }
- t.setRepeats(true);
- if (/** @j2sNative true || */
- false)
- {
- t.start();
- }
+ });
+
+ t.setRepeats(true);
+ t.start();
+ }
}