#include <gtk/gtk.h>


void
hxcommon_launch_context_help_with_widget_name
                                        (GtkButton       *button,
                                        gpointer         user_data);

void
hfd_new_favorite                       (GtkButton       *button,
                                        gpointer         user_data);

void
hfd_remove_favorite                    (GtkButton       *button,
                                        gpointer         user_data);

void
hfd_delete_favorite                    (GtkButton       *button,
                                        gpointer         user_data);
