/* ui_dump.h */

#ifndef _UI_DUMP_H_
#define _UI_DUMP_H_

extern Widget CreateReadDumpDialog(Widget parent, char *name);
extern Widget CreateDumpConfigureDialog(Widget parent, char *name);

#endif /*_UI_DUMP_H_*/