|
@@ -12,6 +12,7 @@ import java.util.Date;
|
|
|
import java.util.Locale;
|
|
import java.util.Locale;
|
|
|
import java.util.Timer;
|
|
import java.util.Timer;
|
|
|
import java.util.TimerTask;
|
|
import java.util.TimerTask;
|
|
|
|
|
+import javax.swing.SwingUtilities;
|
|
|
import net.ranides.assira.trace.ExceptionInspector;
|
|
import net.ranides.assira.trace.ExceptionInspector;
|
|
|
|
|
|
|
|
/**
|
|
/**
|
|
@@ -68,6 +69,19 @@ public class TimeUtils {
|
|
|
return new TimeResult(repeats, t1, t2);
|
|
return new TimeResult(repeats, t1, t2);
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
|
|
+ public static TimerTask runAfterUI(int ms, final TimerTask action) {
|
|
|
|
|
+ return runAfterUI(ms, new Runnable() {
|
|
|
|
|
+ @Override
|
|
|
|
|
+ public void run() { action.run(); }
|
|
|
|
|
+ });
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
|
|
+ public static TimerTask runAfterUI(int ms, final Runnable action) {
|
|
|
|
|
+ return runAfter(ms, new Runnable(){
|
|
|
|
|
+ @Override
|
|
|
|
|
+ public void run() { SwingUtilities.invokeLater(action); }
|
|
|
|
|
+ });
|
|
|
|
|
+ }
|
|
|
|
|
|
|
|
public static TimerTask runAfter(int ms, final Runnable action) {
|
|
public static TimerTask runAfter(int ms, final Runnable action) {
|
|
|
return runAfter(ms, new TimerTask() {
|
|
return runAfter(ms, new TimerTask() {
|