commit 004faf6d6de3c4aa1adbb2a94aa88636a4c46792
parent beeabdaf129e3214236c5450529392f2bbb2046e
Author: Ben Webb <ben@salilab.org>
Date: Sun, 22 Nov 2020 20:44:46 -0800
Don't use deprecated gtk_notebook_set_page function
Diffstat:
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/gui_client/newgamedia.c b/src/gui_client/newgamedia.c
@@ -656,7 +656,7 @@ void NewGameDialog(Player *play)
SetStartGameStatus(NULL);
gtk_widget_show_all(dialog);
- gtk_notebook_set_page(GTK_NOTEBOOK(notebook), NewGameType);
+ gtk_notebook_set_current_page(GTK_NOTEBOOK(notebook), NewGameType);
#ifdef NETWORKING
gtk_widget_grab_default(defbutton);
#endif
diff --git a/src/gui_client/optdialog.c b/src/gui_client/optdialog.c
@@ -1050,7 +1050,7 @@ void OptDialog(GtkWidget *widget, gpointer data)
label = gtk_label_new(_("Sounds"));
gtk_notebook_append_page(GTK_NOTEBOOK(notebook), vbox2, label);
- gtk_notebook_set_page(GTK_NOTEBOOK(notebook), 0);
+ gtk_notebook_set_current_page(GTK_NOTEBOOK(notebook), 0);
gtk_box_pack_start(GTK_BOX(vbox), notebook, TRUE, TRUE, 0);