createGTKGui      796 gui/Player.cpp     return createGTKGui(_windowID, _scale, _doLoop, *_runResources);
createGTKGui      625 gui/gui.h      std::auto_ptr<Gui> createGTKGui(unsigned long xid, float scale, bool loop, RunResources& r);