#include <gtk/gtk.h>


void
hxcommon_launch_context_help_with_widget_name
                                        (GtkButton       *button,
                                        gpointer         user_data);
