textEffigy, textEffigy.uniqueName("debugListener"));
tableau.setDebuggable(getModel());
} else if (actionCommand.equals("Animate States")) {
// Dialog to ask for a delay time.
Query query = new Query();
query.addLine("delay", "Time (in ms) to hold highlight",
Long.toString(_lastDelayTime));
ComponentDialog dialog = new ComponentDialog(
FSMGraphFrame.this, "Delay for Animation", query);