def tcp_proxy(self):
def _set(tcp):
self.master.set_tcp_filter(tcp)
signals.update_settings.send(self)
self.master.view_grideditor(
grideditor.HostPatternEditor(self.master,
self.master.get_tcp_filter(), _set))
def ignorepatterns(self):
def _set(ignore):
self.master.set_ignore_filter(ignore)
signals.update_settings.send(self)
self.master.view_grideditor(
grideditor.HostPatternEditor(self.master,
self.master.get_ignore_filter(),
_set))
def ignore_hosts(self):
self.master.view_grideditor(
grideditor.HostPatternEditor(
self.master, self.master.options.ignore_hosts,
self.master.options.setter("ignore_hosts")))
def tcp_hosts(self):
self.master.view_grideditor(
grideditor.HostPatternEditor(
self.master, self.master.options.tcp_hosts,
self.master.options.setter("tcp_hosts")))