getScreenDPI      158 gui/Player.cpp                 return _gui.getScreenDPI();
getScreenDPI       79 gui/gtk/gtksup.h     virtual double getScreenDPI() const;
getScreenDPI      205 gui/gui.h          virtual double getScreenDPI() const { return 0; }