(self, _widget, data)
Remove a group
Remove a group
Remove a group
def ungroup(self, _widget, data):
        """Remove a group"""
        # FIXME: Could we emit and have Terminator do this?
        for term in self.terminator.terminals:
            if term.group == data:
                term.set_group(None, None)
        self.terminator.group_hoover()
def ungroup ( self , _widget , data ) : # FIXME: Could we emit and have Terminator do this? for term in self . terminator . terminals : if term . group == data : term . set_group ( None , None ) self . terminator . group_hoover ( )