/*
 * Header file for Gnome/GTK+ gui for DVDstore
 */

#include <gnome.h>

void
do_property_box(void);

void
update_search_window_preferences(void);

void
on_preferences_item_changed            (GtkToggleButton *togglebutton,
                                        gpointer         user_data);

void
on_preferences_apply                   (GnomePropertyBox *pbox,
                                        gint             pagenum,
                                        gpointer         user_data);






