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

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

public class ActionRefresh extends Action
{
	public ActionRefresh(Document d) { super(d);}
	public String name() { return "Refresh document"; }

	public void doIt() 
	{
		_document.damageAll();
	}

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