patches/lablgtk-2.10.0.patch

   1 --- ./src/gtkMain.ml    2007-08-17 05:24:07.000000000 +0200
   2 +++ ./src/gtkMain.ml    2007-10-03 21:59:06.000000000 +0200
   3 @@ -43,6 +43,7 @@
   4        with Error err ->
   5          raise (Error ("GtkMain.init: initialization failed\n" ^ err))
   6      in
   7 +    if setlocale then ignore (Glib.Main.setlocale `NUMERIC (Some "C"));
   8      Array.blit ~src:argv ~dst:Sys.argv ~len:(Array.length argv)
   9        ~src_pos:0 ~dst_pos:0;
  10      Obj.truncate (Obj.repr Sys.argv) (Array.length argv);