[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: |
Tue, 22 Nov 2005 12:59:35 -0500 |
Index: mldonkey/src/gtk2/gui/guiGlobal.ml
diff -u mldonkey/src/gtk2/gui/guiGlobal.ml:1.3
mldonkey/src/gtk2/gui/guiGlobal.ml:1.4
--- mldonkey/src/gtk2/gui/guiGlobal.ml:1.3 Sat Nov 19 17:19:45 2005
+++ mldonkey/src/gtk2/gui/guiGlobal.ml Tue Nov 22 17:59:32 2005
@@ -120,7 +120,6 @@
let console_message = ref (fun s -> lprintf_nl "CONSOLE: %s" s)
-
let gtk_handler timer =
while Glib.Main.pending () do
ignore (Glib.Main.iteration false)