From 423a44614a010b0fc7ba98e74fbcbba49c3018b8 Mon Sep 17 00:00:00 2001 From: Stephen Boddy Date: Mon, 15 Jul 2013 18:34:43 +0200 Subject: [PATCH] Fix closing grouped terminals. Close LP#1193484 --- terminatorlib/terminator.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/terminatorlib/terminator.py b/terminatorlib/terminator.py index 23af0003..464d4c3c 100755 --- a/terminatorlib/terminator.py +++ b/terminatorlib/terminator.py @@ -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()