Method w.g.v.p.P.set_default_profile(self, profile_name):

Part of wader.gtk.views.preferences.ProfilesList

Undocumented
API Documentation for wader-core, generated by pydoctor at 2008-08-27 16:53:37.