createGTKGui       36 gui/gtk/gui_gtk.cpp std::auto_ptr<Gui> createGTKGui(unsigned long windowid, float scale, bool do_loop, RunResources& r)
createGTKGui       41 gui/gtk/gui_gtk.cpp std::auto_ptr<Gui> createGTKGui(unsigned long , float, bool, RunResourcesfloat , bool , unsigned int )