UndoableEdit toUndo = undo.editToBeUndone(); if(toUndo == saveUndo) setDirty(false);
	public void redo()	{		if(undo == null)			return;		if(!isEditable())		{			Toolkit.getDefaultToolkit().beep();			return;		}		try		{			setFlag(UNDO_IN_PROGRESS,true);			undo.redo();		}		catch(CannotRedoException cr)		{			Log.log(Log.DEBUG,this,cr);			Toolkit.getDefaultToolkit().beep();			return;		}		finally		{			setFlag(UNDO_IN_PROGRESS,false);		}		UndoableEdit toUndo = undo.editToBeUndone();		if(toUndo == saveUndo)			setDirty(false);	}