itdominator
/
terminator
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Better random selection of default group name from pool

This commit is contained in:
Stephen Boddy 2012-10-24 18:49:33 +02:00
parent 64749ffa4f
commit 0515144a9a
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
terminatorlib/titlebar.py
View File

@ -247,8 +247,7 @@ class Titlebar(gtk.EventBox):
defaultgroups=set(map(''.join, list(itertools.product(defaultmembers,repeat=i)))) defaultgroups=set(map(''.join, list(itertools.product(defaultmembers,repeat=i))))
freegroups = list(defaultgroups-currentgroups) freegroups = list(defaultgroups-currentgroups)
if freegroups: if freegroups:
random.shuffle(freegroups) self.groupentry.set_text(random.choice(freegroups))
self.groupentry.set_text(freegroups.pop())
break break
else: else:
self.groupentry.set_text('') self.groupentry.set_text('')