From 0515144a9a34a408d53ab90b0c3048a107c1763a Mon Sep 17 00:00:00 2001
From: Stephen Boddy <stephen.j.boddy@gmail.com>
Date: Wed, 24 Oct 2012 18:49:33 +0200
Subject: [PATCH] Better random selection of default group name from pool

---
 terminatorlib/titlebar.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/terminatorlib/titlebar.py b/terminatorlib/titlebar.py
index 9882743d..d5bfc4ea 100755
--- a/terminatorlib/titlebar.py
+++ b/terminatorlib/titlebar.py
@@ -247,8 +247,7 @@ class Titlebar(gtk.EventBox):
                 defaultgroups=set(map(''.join, list(itertools.product(defaultmembers,repeat=i))))
                 freegroups = list(defaultgroups-currentgroups)
                 if freegroups:
-                    random.shuffle(freegroups)
-                    self.groupentry.set_text(freegroups.pop())
+                    self.groupentry.set_text(random.choice(freegroups))
                     break
             else:
                 self.groupentry.set_text('')