diff --git a/src/gtk/win_gtk.c b/src/gtk/win_gtk.c index 923a12d157..f69ec2706c 100644 --- a/src/gtk/win_gtk.c +++ b/src/gtk/win_gtk.c @@ -76,13 +76,13 @@ static void gtk_pizza_adjust_allocations (GtkPizza *pizza, gint dy); +/* unused */ +#if 0 static void gtk_pizza_expose_area (GtkPizza *pizza, gint x, gint y, gint width, gint height); -/* unused */ -#if 0 static void gtk_pizza_adjustment_changed (GtkAdjustment *adjustment, GtkPizza *pizza); #endif @@ -963,6 +963,8 @@ gtk_pizza_adjust_allocations (GtkPizza *pizza, /* Callbacks */ +/* unused */ +#if 0 /* Send a synthetic expose event to the widget */ static void @@ -988,6 +990,7 @@ gtk_pizza_expose_area (GtkPizza *pizza, gdk_window_unref (event.window); } } +#endif /* unused */ /* This function is used to find events to process while scrolling */ diff --git a/src/gtk1/win_gtk.c b/src/gtk1/win_gtk.c index 923a12d157..f69ec2706c 100644 --- a/src/gtk1/win_gtk.c +++ b/src/gtk1/win_gtk.c @@ -76,13 +76,13 @@ static void gtk_pizza_adjust_allocations (GtkPizza *pizza, gint dy); +/* unused */ +#if 0 static void gtk_pizza_expose_area (GtkPizza *pizza, gint x, gint y, gint width, gint height); -/* unused */ -#if 0 static void gtk_pizza_adjustment_changed (GtkAdjustment *adjustment, GtkPizza *pizza); #endif @@ -963,6 +963,8 @@ gtk_pizza_adjust_allocations (GtkPizza *pizza, /* Callbacks */ +/* unused */ +#if 0 /* Send a synthetic expose event to the widget */ static void @@ -988,6 +990,7 @@ gtk_pizza_expose_area (GtkPizza *pizza, gdk_window_unref (event.window); } } +#endif /* unused */ /* This function is used to find events to process while scrolling */