#ifndef GNOME_TERMINAL_H
#define GNOME_TERMINAL_H

/* no longer needed, as we use gnome_font_picker now */
/* GtkWidget *create_font_menu (ZvtTerm *term, void *f); */

#endif