From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 19 Jul 2005 17:23:35 +0000 (+0000)
Subject: sorted cicBrowser's listings
X-Git-Tag: V_0_7_2~162
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=789bd6e2f5d8678421c6043359be50b695720d3f;p=helm.git

sorted cicBrowser's listings
---

diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml
index cd600f040..f9171068f 100644
--- a/helm/matita/matitaMathView.ml
+++ b/helm/matita/matitaMathView.ml
@@ -523,11 +523,13 @@ class cicBrowser_impl ~(history:MatitaTypes.mathViewer_entry MatitaMisc.history)
     method private _loadDir dir = 
       let content = Http_getter.ls dir in
       let l =
-        List.map
-          (function 
-            | Http_getter_types.Ls_section s -> "dir", s
-            | Http_getter_types.Ls_object o -> "obj", o.Http_getter_types.uri)
-          content
+        List.fast_sort
+          Pervasives.compare
+          (List.map
+            (function 
+              | Http_getter_types.Ls_section s -> "dir", s
+              | Http_getter_types.Ls_object o -> "obj", o.Http_getter_types.uri)
+            content)
       in
       lastDir <- dir;
       self#_loadList l