public class Utilities
extends java.lang.Object
Constructor and Description |
---|
Utilities() |
Modifier and Type | Method and Description |
---|---|
static void |
doEnsuredRepaint(java.awt.Component component)
Does a repaint that is guaranteed to work (on some systems, plain repaint())
fails if there's lots of updates going on as is the case in our simulator thread.
|
static java.lang.Thread |
doLater(long milliseconds,
java.lang.Runnable doThis)
Schedule something to occur at some specified point in the future in the Swing Event thread.
|
static java.lang.String |
ensureFileEndsWith(java.lang.String filename,
java.lang.String ending)
Returns a filename guaranteed to end with the given ending.
|
static void |
inform(java.lang.String description,
java.lang.String subDescription,
javax.swing.JFrame frame)
Pops up an message dialog box.
|
static void |
informOfError(java.lang.Throwable error,
java.lang.String description,
javax.swing.JFrame frame)
Pops up an error dialog box.
|
public static java.lang.String ensureFileEndsWith(java.lang.String filename, java.lang.String ending)
public static void doEnsuredRepaint(java.awt.Component component)
public static java.lang.Thread doLater(long milliseconds, java.lang.Runnable doThis)
public static void informOfError(java.lang.Throwable error, java.lang.String description, javax.swing.JFrame frame)
public static void inform(java.lang.String description, java.lang.String subDescription, javax.swing.JFrame frame)