#ifndef _ManipulationEditor_h_
#define _ManipulationEditor_h_
/* ManipulationEditor.h; Paul Boersma, March 30, 2001 */

#ifndef _FunctionEditor_h_
	#include "FunctionEditor.h"
#endif
#ifndef _Manipulation_h_
	#include "Manipulation.h"
#endif

typedef struct ManipulationEditor *ManipulationEditor;

ManipulationEditor ManipulationEditor_create (Widget parent, const char *title, Manipulation ana);

void ManipulationEditor_prefs (void);

/* End of file ManipulationEditor.h */
#endif
