#ifndef _GUI_OPTS_H
#define _GUI_OPTS_H

#include <gtk/gtk.h>

void HideOptions( void );
GtkWidget * create_Options( void );

#endif