[Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/configWindow.ml

[mldonkey-commits]

Index: mldonkey/src/gtk2/gui/configWindow.ml
diff -u mldonkey/src/gtk2/gui/configWindow.ml:1.1 
mldonkey/src/gtk2/gui/configWindow.ml:1.2
--- mldonkey/src/gtk2/gui/configWindow.ml:1.1   Wed Mar  2 19:45:11 2005
+++ mldonkey/src/gtk2/gui/configWindow.ml       Sat Nov 19 17:19:45 2005
@@ -171,8 +171,7 @@
 (*
   ignore (table#misc#connect#size_allocate
       ~callback: (fun r ->
-        Printf.printf "Table width %d\n" r.Gtk.width;
-        flush stdout
+        lprintf' "Table width %d\n" r.Gtk.width;
   ));
 *)
   table#attach ~left:0 ~top