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

[mldonkey-commits]

Index: mldonkey/src/gtk2/gui/guiSystray.ml
diff -u mldonkey/src/gtk2/gui/guiSystray.ml:1.1 
mldonkey/src/gtk2/gui/guiSystray.ml:1.2
--- mldonkey/src/gtk2/gui/guiSystray.ml:1.1     Sun Jul 10 13:28:50 2005
+++ mldonkey/src/gtk2/gui/guiSystray.ml Mon Oct 31 18:34:02 2005
@@ -1,4 +1,5 @@
 open GuiTypes2
+open Printf2
 
 type f = {mutable f : button_types -> unit}
 
@@ -22,12 +23,12 @@
              match ev with
                DOUBLE_CLICKED ->
                begin
-                   Printf.printf "tray double clicked\n";
+                   lprintf "tray double clicked\n";
                    flush stdout;
                  end
              | RBUTTON_CLICKED ->
                  begin
-                   Printf.printf "tray right clicked\n";
+                   lprintf "tray right clicked\n";
                    flush stdout;
                  end
              | _ -> ()