[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Mldonkey-commits] Changes to mldonkey/src/gtk/gui/gui_misc.ml
From: |
mldonkey-commits |
Subject: |
[Mldonkey-commits] Changes to mldonkey/src/gtk/gui/gui_misc.ml |
Date: |
Sun, 16 Oct 2005 16:43:04 -0400 |
Index: mldonkey/src/gtk/gui/gui_misc.ml
diff -u mldonkey/src/gtk/gui/gui_misc.ml:1.4
mldonkey/src/gtk/gui/gui_misc.ml:1.5
--- mldonkey/src/gtk/gui/gui_misc.ml:1.4 Mon Feb 2 10:34:08 2004
+++ mldonkey/src/gtk/gui/gui_misc.ml Sun Oct 16 20:42:51 2005
@@ -25,11 +25,12 @@
open GuiProto
-let ko = Int64.of_int 1024
+let ko = 1024L
+let mo = ko ** ko
let unit_of_string s =
match String.lowercase s with
- "mo" -> Int64.mul ko ko
+ "mo" -> mo
| "ko" -> ko
| _ -> Int64.one
@@ -136,8 +137,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"
- [Mldonkey-commits] Changes to mldonkey/src/gtk/gui/gui_misc.ml,
mldonkey-commits <=