pgtk_get_string_resource 4794 src/pgtkterm.c terminal->get_string_resource_hook = pgtk_get_string_resource; pgtk_get_string_resource 556 src/pgtkterm.h extern const char *pgtk_get_string_resource (XrmDatabase, const char *, const char *);