Beispiel #1
0
 def closeterm(self, widget):
     """Handle a terminal closing"""
     Container.closeterm(self, widget)
     self.hoover()
Beispiel #2
0
 def closeterm(self, widget):
     """Handle a terminal closing"""
     Container.closeterm(self, widget)
     self.hoover()