62
62
extern const gchar *glatex_format_labels[];
63
63
extern const gchar *glatex_fontsize_labels[];
65
65
void glatex_insert_latex_format(GtkMenuItem * menuitem, gpointer gdata);
66
66
void glatex_insert_latex_fontsize(GtkMenuItem * menuitem, gpointer gdata);