def change_name(self, new_name): """Change the name of the shell, possibly updating the maximum name length""" if not new_name: name = self.hostname else: name = new_name.decode() self.display_name = display_names.change(self.display_name, name)
def close(self): display_names.change(self.display_name, None) super().close()
def change_name(self, name): """Change the name of the shell, possibly updating the maximum name length""" if not name: name = self.hostname self.display_name = display_names.change(self.display_name, name)
def close(self): display_names.change(self.display_name, None) buffered_dispatcher.close(self)