createDumpGui      35 gui/dump/gui_dump.cpp std::auto_ptr<Gui> createDumpGui(unsigned long windowid, float scale, bool do_loop, RunResources& r)
createDumpGui      40 gui/dump/gui_dump.cpp std::auto_ptr<Gui> createDumpGui(unsigned long , float, bool, RunResourcesfloat , bool , unsigned int )