// File: ActionRefreshPreview.java
// Classes: ActionRefreshPreview
// Author: Kedar Patankar

package edu.neu.ccs.demeter.tools.apstudio.graphedit;

public class ActionRefreshPreview extends Action
{
	public ActionRefreshPreview(Editor e) { super(e);}
	public String name() { return "Refresh traversal preview"; }

	public void doIt() 
	{
		_editor.doPreview();
	}

	public void undoIt() { }
} /* end class ActionRefreshPreview */