diff options
author | Christian Grothoff <christian@grothoff.org> | 2014-06-02 21:12:33 +0000 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2014-06-02 21:12:33 +0000 |
commit | d1028a1fe92a827760a1c20f4bb788573c9f5f43 (patch) | |
tree | 218cba4d4efd7377edc8369594647dd5679b2e02 /src/main | |
parent | 6f7857ee10e2f05e91fe1b30c854d073e15747c2 (diff) | |
download | gnunet-gtk-d1028a1fe92a827760a1c20f4bb788573c9f5f43.tar.gz gnunet-gtk-d1028a1fe92a827760a1c20f4bb788573c9f5f43.zip |
-document
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/gnunet-gtk.c | 5 |
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 @@ | |||
1 | /* | 1 | /* |
2 | This file is part of GNUnet | 2 | This file is part of GNUnet |
3 | (C) 2012, 2013 Christian Grothoff (and other contributing authors) | 3 | (C) 2012-2014 Christian Grothoff (and other contributing authors) |
4 | 4 | ||
5 | GNUnet is free software; you can redistribute it and/or modify | 5 | GNUnet is free software; you can redistribute it and/or modify |
6 | it under the terms of the GNU General Public License as published | 6 | it under the terms of the GNU General Public License as published |
@@ -275,6 +275,9 @@ plug (const char *container, | |||
275 | n = GTK_NOTEBOOK (get_object ("gnunet_gtk_notebook")); | 275 | n = GTK_NOTEBOOK (get_object ("gnunet_gtk_notebook")); |
276 | v = GTK_WIDGET (get_object (container)); | 276 | v = GTK_WIDGET (get_object (container)); |
277 | l = gtk_notebook_get_tab_label (n, v); | 277 | l = gtk_notebook_get_tab_label (n, v); |
278 | /* remove old tab, replace with new tab; effectively, | ||
279 | we preserve the label; but GtkNotebook does not | ||
280 | allow us to directly substitute the body of the tab */ | ||
278 | g_object_ref (l); | 281 | g_object_ref (l); |
279 | gtk_notebook_remove_page (n, | 282 | gtk_notebook_remove_page (n, |
280 | gtk_notebook_page_num (n, v)); | 283 | gtk_notebook_page_num (n, v)); |