tags 622057 + patch
thanks.
--
Elías Alejandro
Index: devhelp-2.30.1/src/dh-util.c
===================================================================
--- devhelp-2.30.1.orig/src/dh-util.c 2011-04-18 19:47:03.000000000 -0500
+++ devhelp-2.30.1/src/dh-util.c 2011-04-18 19:49:55.000000000 -0500
@@ -494,7 +494,7 @@
static void
util_state_notebook_switch_page_cb (GtkWidget *notebook,
- GtkNotebookPage *page,
+ gpointer page,
guint page_num,
gpointer user_data)
{
Index: devhelp-2.30.1/src/dh-window.c
===================================================================
--- devhelp-2.30.1.orig/src/dh-window.c 2011-04-18 19:50:43.000000000 -0500
+++ devhelp-2.30.1/src/dh-window.c 2011-04-18 19:56:06.000000000 -0500
@@ -979,7 +979,7 @@
*/
static void
window_control_switch_page_cb (GtkWidget *notebook,
- GtkNotebookPage *page,
+ gpointer page,
guint page_num,
DhWindow *window)
{
@@ -994,7 +994,7 @@
static void
window_control_after_switch_page_cb (GtkWidget *notebook,
- GtkNotebookPage *page,
+ gpointer page,
guint page_num,
DhWindow *window)
{
@@ -1009,7 +1009,7 @@
static void
window_web_view_switch_page_cb (GtkNotebook *notebook,
- GtkNotebookPage *page,
+ gpointer page,
guint new_page_num,
DhWindow *window)
{
@@ -1047,7 +1047,7 @@
static void
window_web_view_switch_page_after_cb (GtkNotebook *notebook,
- GtkNotebookPage *page,
+ gpointer page,
guint new_page_num,
DhWindow *window)
{
