pgtk_xlfd_to_fontname 2237 src/pgtkfns.c    char *str = pgtk_xlfd_to_fontname (SSDATA (name));
pgtk_xlfd_to_fontname  552 src/pgtkterm.h extern char *pgtk_xlfd_to_fontname (const char *);