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") ) )