xsettings_get_system_font 1087 src/pgtkfns.c        const char *system_font = xsettings_get_system_font ();
xsettings_get_system_font 4520 src/xfns.c           const char *system_font = xsettings_get_system_font ();
xsettings_get_system_font   41 src/xsettings.h extern const char *xsettings_get_system_font (void);