Fix GtkSpinButton "adjustment with non-zero page size" deprecation message

Hi all,

This diff fixes the "GtkSpinButton: setting an adjustment with 
non-zero page size is deprecated" warning message.

This warning appears with newer versions of the GTK+2 library.

Best Regards,
David Coppa


--- src/gData.ml.orig	Wed Oct 21 15:13:46 2009
+++ src/gData.ml	Wed Oct 21 15:14:11 2009
@@ -51,7 +51,7 @@ class adjustment obj = object
 end
 
 let adjustment ?(value=0.) ?(lower=0.) ?(upper=100.)
-    ?(step_incr=1.) ?(page_incr=10.) ?(page_size=10.) () =
+    ?(step_incr=1.) ?(page_incr=10.) ?(page_size=0.) () =
   let w =
     Adjustment.create ~value ~lower ~upper ~step_incr ~page_incr ~page_size in
   new adjustment w


--- src/gData.mli.orig	Wed Oct 21 15:14:19 2009
+++ src/gData.mli	Wed Oct 21 15:15:11 2009
@@ -62,7 +62,7 @@ class adjustment : Gtk.adjustment obj ->
     @param upper default value is [100.]
     @param step_incr default value is [1.]
     @param page_incr default value is [10.]
-    @param page_size default value is [10.] *)
+    @param page_size default value is [0.] *)
 val adjustment :
   ?value:float ->
   ?lower:float ->