/*
                         Help File Displaying

	Calls the help file viewer to displays help files.
 */

#ifndef EDV_HELP_H
#define EDV_HELP_H

#include <gtk/gtk.h>
#include "edv_types.h"


extern void EDVHelp(
	edv_core_struct *core,
	const gchar *topic,
	GtkWidget *toplevel
);


#endif	/* EDV_HELP_H */
