def setheaders(self):
def _set(*args, **kwargs):
self.master.setheaders.set(*args, **kwargs)
signals.update_settings.send(self)
self.master.view_grideditor(
grideditor.SetHeadersEditor(self.master,
self.master.setheaders.get_specs(),
_set))
def setheaders(self):
self.master.view_grideditor(
grideditor.SetHeadersEditor(
self.master, self.master.options.setheaders,
self.master.options.setter("setheaders")))