(self, terminal)
De-register a terminal widget
De-register a terminal widget
De - register a terminal widget
def deregister_terminal(self, terminal):
        """De-register a terminal widget"""
        dbg('Terminator::deregister_terminal: de-registering %s:%s' %
                (id(terminal), type(terminal)))
        self.terminals.remove(terminal)

        if len(self.terminals) == 0:
            dbg('no terminals remain, destroying all windows')
            for window in self.windows:
                window.destroy()
        else:
            dbg('Terminator::deregister_terminal: %d terminals remain' %
                    len(self.terminals))
def deregister_terminal ( self , terminal ) : dbg ( 'Terminator::deregister_terminal: de-registering %s:%s' % ( id ( terminal ) , type ( terminal ) ) ) self . terminals . remove ( terminal ) if len ( self . terminals ) == 0 : dbg ( 'no terminals remain, destroying all windows' ) for window in self . windows : window . destroy ( ) else : dbg ( 'Terminator::deregister_terminal: %d terminals remain' % len ( self . terminals ) )