From 789bd6e2f5d8678421c6043359be50b695720d3f Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 19 Jul 2005 17:23:35 +0000
Subject: [PATCH] sorted cicBrowser's listings

---
 helm/matita/matitaMathView.ml | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

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
-- 
2.39.2