1 files changed, 4 insertions, 1 deletions

diff --git a/src/main/gnunet-gtk.c b/src/main/gnunet-gtk.c
index 842b15ef..0ce872e3 100644
--- a/src/main/gnunet-gtk.c
+++ b/src/main/gnunet-gtk.c
@@ -1,6 +1,6 @@
 /*
      This file is part of GNUnet
-     (C) 2012, 2013 Christian Grothoff (and other contributing authors)
+     (C) 2012-2014 Christian Grothoff (and other contributing authors)
 
      GNUnet is free software; you can redistribute it and/or modify
      it under the terms of the GNU General Public License as published
@@ -275,6 +275,9 @@ plug (const char *container,
   n = GTK_NOTEBOOK (get_object ("gnunet_gtk_notebook"));
   v = GTK_WIDGET (get_object (container));
   l = gtk_notebook_get_tab_label (n, v);
+  /* remove old tab, replace with new tab; effectively,
+     we preserve the label; but GtkNotebook does not
+     allow us to directly substitute the body of the tab */
   g_object_ref (l);
   gtk_notebook_remove_page (n,
                             gtk_notebook_page_num (n, v));