The interface sorts the entryes in the trees

diff --git a/helm/interface/Makefile b/helm/interface/Makefile
index 2b892e2d9fc9bfd6a794c19a0bf1b093df8c1e8c..98145483058d1d3e857fd49436c322363b9425d3 100644 (file)
--- a/helm/interface/Makefile
+++ b/helm/interface/Makefile
@@ -169,6 +169,13 @@ start-xaland:
            examples/style/annotatedpres.xsl examples/style/theory_content.xsl \
            examples/style/theory_pres.xsl
 
+start-xaland-old:
+       java xaland 12345 12346 \
+         examples/style/style_prima_del_linguaggio_naturale/rootcontent.xsl \
+         examples/style/style_prima_del_linguaggio_naturale/annotatedpres.xsl \
+         examples/style/style_prima_del_linguaggio_naturale/theory_content.xsl \
+         examples/style/style_prima_del_linguaggio_naturale/theory_pres.xsl
+
 start-xaland3:
        java xaland 12347 12348 examples/style/rootcontent.xsl \
            examples/style/annotatedpres.xsl examples/style/theory_content.xsl \

diff --git a/helm/interface/mmlinterface.ml b/helm/interface/mmlinterface.ml
index 76f6e5a78940b291aefc4d8905bf5f6aa8ff19b9..d364ffe4b0257efbff9d48eb0da54a8742f83741 100755 (executable)
--- a/helm/interface/mmlinterface.ml
+++ b/helm/interface/mmlinterface.ml
@@ -385,7 +385,7 @@ let mktree selection_changed rendering_window =
              ignore(treeitem2#connect#select
               (selection_changed rendering_window uri)) ;
              aux treeitem2 ti
-         ) !content
+         ) (List.sort compare !content)
    | _ -> ()
  in
   aux