From 27ba562f56e296ae39d795bcc3d4b5ab8537e1b8 Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Tue, 1 Dec 2009 23:14:42 +0000 Subject: [PATCH] Make sure we don't re-use a tab group name which exists already --- terminatorlib/terminatorterm.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/terminatorlib/terminatorterm.py b/terminatorlib/terminatorterm.py index b9e43677..87c7997b 100755 --- a/terminatorlib/terminatorterm.py +++ b/terminatorlib/terminatorterm.py @@ -1771,7 +1771,12 @@ text/plain groupname = notebooktablabel.get_title() if groupname == "": - groupname = "Tab %d" % (pagenum + 1) + tmppagenum = pagenum + while True: + groupname = "Tab %d" % (tmppagenum + 1) + if groupname not in self.terminator.groupings: + break + tmppagenum += 1 self.add_group(groupname) for term in terms: