[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Mldonkey-commits] Changes to mldonkey/src/gtk/newgui/gui_misc.ml
From: |
mldonkey-commits |
Subject: |
[Mldonkey-commits] Changes to mldonkey/src/gtk/newgui/gui_misc.ml |
Date: |
Sun, 16 Oct 2005 16:43:05 -0400 |
Index: mldonkey/src/gtk/newgui/gui_misc.ml
diff -u mldonkey/src/gtk/newgui/gui_misc.ml:1.5
mldonkey/src/gtk/newgui/gui_misc.ml:1.6
--- mldonkey/src/gtk/newgui/gui_misc.ml:1.5 Sun Mar 7 09:34:25 2004
+++ mldonkey/src/gtk/newgui/gui_misc.ml Sun Oct 16 20:42:52 2005
@@ -25,11 +25,12 @@
open GuiProto
-let ko = Int32.of_int 1024
+let ko = 1024l
+let mo = Int32.mul ko ko
let unit_of_string s =
match String.lowercase s with
- "mo" -> Int32.mul ko ko
+ "mo" -> mo
| "ko" -> ko
| _ -> Int32.one
@@ -139,8 +140,7 @@
| Q_MP3_BITRATE _ -> []
-
-(** Retourne quelques mots pour résumer une requete *)
+(** Summarize a request in a few words *)
let description_of_query q =
match rec_description_of_query q with
[] -> "stupid query"
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Mldonkey-commits] Changes to mldonkey/src/gtk/newgui/gui_misc.ml,
mldonkey-commits <=