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