(self, widget)
Ungroup all terminals
Ungroup all terminals
Ungroup all terminals
def ungroup_all(self, widget):
        """Ungroup all terminals"""
        self.set_groups(None, self.terminator.terminals)
def ungroup_all ( self , widget ) : self . set_groups ( None , self . terminator . terminals )