#include <gtk/gtk.h>

GtkWidget* back_button_new();
void back_button_set_sensitive(bool sensitive);