Method w.g.v.p.P.change_panel(self, panel):

Part of wader.gtk.views.preferences.PreferencesView

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