pgtk_get_defaults_value 2287 src/pgtkfns.c    const char *res = pgtk_get_defaults_value (name);
pgtk_get_defaults_value 2289 src/pgtkfns.c      res = pgtk_get_defaults_value (class);
pgtk_get_defaults_value  555 src/pgtkterm.h extern const char *pgtk_get_defaults_value (const char *);