[anjuta] symbol-db, devhelp: replaced deprecated symbol

[Massimo Cora' <mcora src gnome org>]

commit 6cad6ceafbb0db3d7ee5edb8086fdf5db11217de
Author: Massimo Corà <mcora src gnome org>
Date:   Thu Jun 11 18:26:36 2009 +0200

    symbol-db, devhelp: replaced deprecated symbol
    
    gtk_notebook_set_page was reintroduced but it's deprecated.

 plugins/devhelp/plugin.c   |    2 +-
 plugins/symbol-db/plugin.c |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/plugins/devhelp/plugin.c b/plugins/devhelp/plugin.c
index 4f2e9ce..7516791 100644
--- a/plugins/devhelp/plugin.c
+++ b/plugins/devhelp/plugin.c
@@ -299,7 +299,7 @@ on_notebook_button_toggled (GtkToggleButton *button,
                             AnjutaDevhelp *devhelp)
 {
 	int page = GPOINTER_TO_INT (g_object_get_data (G_OBJECT (button), "__page"));
-	gtk_notebook_set_page (GTK_NOTEBOOK(devhelp->control_notebook), page);
+	gtk_notebook_set_current_page (GTK_NOTEBOOK(devhelp->control_notebook), page);
 }
 
 static void
diff --git a/plugins/symbol-db/plugin.c b/plugins/symbol-db/plugin.c
index d90ac00..e5b1808 100644
--- a/plugins/symbol-db/plugin.c
+++ b/plugins/symbol-db/plugin.c
@@ -2097,7 +2097,7 @@ on_notebook_button_toggled (GtkToggleButton *button,
                             SymbolDBPlugin *sdb_plugin)
 {
 	int page = GPOINTER_TO_INT (g_object_get_data (G_OBJECT (button), "__page"));
-	gtk_notebook_set_page (GTK_NOTEBOOK(sdb_plugin->dbv_notebook), page);
+	gtk_notebook_set_current_page (GTK_NOTEBOOK(sdb_plugin->dbv_notebook), page);
 }
 
 static void