pgtk_get_defaults_value 2294 src/pgtkfns.c    const char *res = pgtk_get_defaults_value (name);
pgtk_get_defaults_value 2296 src/pgtkfns.c      res = pgtk_get_defaults_value (class);
pgtk_get_defaults_value  557 src/pgtkterm.h extern const char *pgtk_get_defaults_value (const char *);