Avoid use of deprecated GtkNotebookPage
[pspp] / src / ui / gui / psppire-data-window.c
index ce9309b1ce295fd4a8c657090db655b0143eb6a6..f36283289f324e7779b46f9175eee82b93013771 100644 (file)
@@ -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;