#include <gtk/gtk.h>


void
on_cancel_default_preferences_window_clicked
                                        (GtkButton       *button,
                                        gpointer         user_data);

void
on_save_default_preferences_window_clicked
                                        (GtkButton       *button,
                                        gpointer         user_data);

gboolean
on_default_preferences_window_delete_event
                                        (GtkWidget       *widget,
                                        GdkEvent        *event,
                                        gpointer         user_data);