if(undo == null || getFlag(UNDO_IN_PROGRESS))
if(getFlag(UNDO_IN_PROGRESS))
	public void addUndoableEdit(UndoableEdit edit)	{		if(undo == null || getFlag(UNDO_IN_PROGRESS))			return;		// Ignore insificant edits if the redo queue is non-empty.		// This stops caret movement from killing redos.		if(undo.canRedo() && !edit.isSignificant())			return;		if(compoundEdit != null)			compoundEdit.addEdit(edit);		else			undo.addEdit(edit);	}