#include <gtk/gtk.h>


gboolean
houd_uri_entry_key_press_event         (GtkWidget       *widget,
                                        GdkEventKey     *event,
                                        gpointer         user_data);

void
hxcommon_launch_context_help_with_widget_name
                                        (GtkButton       *button,
                                        gpointer         user_data);
