From: John Darrington <john@darrington.wattle.id.au>
Date: Tue, 14 May 2013 11:00:37 +0000 (+0200)
Subject: Avoid use of deprecated GtkNotebookPage
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=402bcc1a7d4f098616a4f2347059a9c007237754;hp=e3b56644beb1cd50981ccf646dcc96200afe468f;p=pspp

Avoid use of deprecated GtkNotebookPage
---

diff --git a/src/ui/gui/psppire-data-editor.c b/src/ui/gui/psppire-data-editor.c
index 70086b5000..0a117c06d3 100644
--- a/src/ui/gui/psppire-data-editor.c
+++ b/src/ui/gui/psppire-data-editor.c
@@ -224,7 +224,7 @@ psppire_data_editor_get_property (GObject         *object,
 
 static void
 psppire_data_editor_switch_page (GtkNotebook     *notebook,
-                                 GtkNotebookPage *page,
+                                 gpointer page,
                                  guint            page_num)
 {
   GTK_NOTEBOOK_CLASS (parent_class)->switch_page (notebook, page, page_num);
diff --git a/src/ui/gui/psppire-data-window.c b/src/ui/gui/psppire-data-window.c
index ce9309b1ce..f36283289f 100644
--- a/src/ui/gui/psppire-data-window.c
+++ b/src/ui/gui/psppire-data-window.c
@@ -779,7 +779,7 @@ set_unsaved (gpointer w)
 }
 
 static void
-on_switch_page (PsppireDataEditor *de, GtkNotebookPage *p,
+on_switch_page (PsppireDataEditor *de, gpointer p,
 		gint pagenum, PsppireDataWindow *dw)
 {
   GtkWidget *page_menu_item;