Fix closing grouped terminals. Close LP#1193484

This commit is contained in:
Stephen Boddy 2013-07-15 18:34:43 +02:00
parent d271137675
commit 423a44614a

View File

@ -300,7 +300,7 @@ class Terminator(Borg):
def closegroupedterms(self, group):
"""Close all terminals in a group"""
for terminal in self.terminals:
for terminal in self.terminals[:]:
if terminal.group == group:
terminal.close()