exit_menu.h

extern void exit_menu(GtkWidget *parent);