extern void guifile_save(GtkWidget *, gpointer);
extern void guifile_export_psf_font(GtkWidget *, gpointer);
extern void guifile_export_hex_font(GtkWidget *, gpointer);
+extern void guifile_export_header_font(GtkWidget *, gpointer);
/*
* Special direct BDF font load call for recent fonts menu.