(self, widget)
A child terminal has closed
A child terminal has closed
A child terminal has closed
def wrapcloseterm(self, widget):
        """A child terminal has closed"""
        dbg('Notebook::wrapcloseterm: called on %s' % widget)
        if self.closeterm(widget):
            dbg('Notebook::wrapcloseterm: closeterm succeeded')
            self.hoover()
        else:
            dbg('Notebook::wrapcloseterm: closeterm failed')
def wrapcloseterm ( self , widget ) : dbg ( 'Notebook::wrapcloseterm: called on %s' % widget ) if self . closeterm ( widget ) : dbg ( 'Notebook::wrapcloseterm: closeterm succeeded' ) self . hoover ( ) else : dbg ( 'Notebook::wrapcloseterm: closeterm failed' )