[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiMisc.ml
From: |
mldonkey-commits |
Subject: |
[Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiMisc.ml |
Date: |
Sat, 12 Nov 2005 06:16:41 -0500 |
Index: mldonkey/src/gtk2/gui/guiMisc.ml
diff -u mldonkey/src/gtk2/gui/guiMisc.ml:1.11
mldonkey/src/gtk2/gui/guiMisc.ml:1.12
--- mldonkey/src/gtk2/gui/guiMisc.ml:1.11 Mon Oct 31 18:34:02 2005
+++ mldonkey/src/gtk2/gui/guiMisc.ml Sat Nov 12 11:16:36 2005
@@ -363,7 +363,7 @@
in
s
-let rec rec_description_of_query q =
+let rec rec_description_of_query q =
match q with
| Q_HIDDEN l
| Q_AND l
@@ -371,7 +371,7 @@
| Q_ANDNOT (q1, q2) -> rec_description_of_query q1
| Q_MODULE (_,q) -> rec_description_of_query q
-
+
| Q_KEYWORDS (_,s) -> [s]
| Q_MINSIZE _
| Q_MAXSIZE _ -> []
@@ -382,7 +382,7 @@
| Q_MP3_ALBUM (_,s) -> [s]
| Q_COMBO _ -> []
-
+
| Q_MP3_BITRATE _ -> []
(* Return few words for a given query *)
- [Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiMisc.ml,
mldonkey-commits <=