+
+ const list<Tool::Factory *> &factories = Tool::get_factories();
+ for(list<Tool::Factory *>::const_iterator i=factories.begin(); i!=factories.end(); ++i)
+ tools.push_back((*i)->create(*this));
+}
+
+GlDbg::~GlDbg()
+{
+ for(list<Tool *>::iterator i=tools.begin(); i!=tools.end(); ++i)
+ delete *i;