screenResolution  155 gui/Player.cpp                 return _gui.screenResolution();
screenResolution  525 gui/gtk/gtk.cpp     const std::pair<int, int> res = screenResolution();
screenResolution   78 gui/gtk/gtksup.h     virtual std::pair<int, int> screenResolution() const;
screenResolution  201 gui/gui.h          virtual std::pair<int, int> screenResolution() const {