getScreenDotRadius  251 lib/pdf/xpdf/GlobalParams.h   int getScreenDotRadius();
getScreenDotRadius  617 lib/pdf/xpdf/SplashOutputDev.cc   screenParams.dotRadius = globalParams->getScreenDotRadius();