#include <gtk/gtk.h>


void
hud_show_details                       (GtkButton       *button,
                                        gpointer         user_data);

void
hxcommon_launch_context_help_with_widget_name
                                        (GtkButton       *button,
                                        gpointer         user_data);

void
hxcommon_launch_upgrade_with_widget_name
                                        (GtkButton       *button,
                                        gpointer         user_data);

void
hud_check_for_updates                  (GtkButton       *button,
                                        gpointer         user_data);

void
hud_check_for_updates                  (GtkButton       *button,
                                        gpointer         user_data);
