From 7010d17b73f8242d80c519201c6aef16743278fd Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Mon, 11 May 2009 21:54:23 +0100 Subject: [PATCH] add a comment for further investigation later --- terminatorlib/terminatorterm.py | 1 + 1 file changed, 1 insertion(+) diff --git a/terminatorlib/terminatorterm.py b/terminatorlib/terminatorterm.py index 496bdf7d..d193c2fc 100755 --- a/terminatorlib/terminatorterm.py +++ b/terminatorlib/terminatorterm.py @@ -1441,6 +1441,7 @@ text/plain if notebookpage[0].get_tab_label(notebookpage[1]): label = notebookpage[0].get_tab_label(notebookpage[1]) label.set_title(title) + # FIXME: Is this necessary? The above line should update the label. LP #369370 might be related notebookpage[0].set_tab_label(notebookpage[1], label) notebookpage = self.terminator.get_first_notebook_page(notebookpage[0])