Method w.g.v.m.M.operator_changed(self, new_operator):

Part of wader.gtk.views.main.MainView

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