[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiGlobal.ml
From: |
mldonkey-commits |
Subject: |
[Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiGlobal.ml |
Date: |
Sat, 19 Nov 2005 12:19:47 -0500 |
Index: mldonkey/src/gtk2/gui/guiGlobal.ml
diff -u mldonkey/src/gtk2/gui/guiGlobal.ml:1.2
mldonkey/src/gtk2/gui/guiGlobal.ml:1.3
--- mldonkey/src/gtk2/gui/guiGlobal.ml:1.2 Mon Oct 31 18:34:02 2005
+++ mldonkey/src/gtk2/gui/guiGlobal.ml Sat Nov 19 17:19:45 2005
@@ -118,9 +118,7 @@
Hashtbl.clear file_by_uid;
Gc.compact ()
-let console_message = ref (fun s ->
- lprintf "CONSOLE: %s" s;
- lprint_newline () )
+let console_message = ref (fun s -> lprintf_nl "CONSOLE: %s" s)
let gtk_handler timer =
- [Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiGlobal.ml,
mldonkey-commits <=