sort wrt. theory name;

--- a/src/Tools/jEdit/src/session_dockable.scala	Thu Sep 01 16:58:03 2011 +0200
+++ b/src/Tools/jEdit/src/session_dockable.scala	Thu Sep 01 16:58:41 2011 +0200
@@ -93,7 +93,8 @@
           if (nodes_status != nodes_status1) {
             nodes_status = nodes_status1
             val order =
-              Library.sort_wrt((name: Document.Node.Name) => name.node, nodes_status.keySet.toList)
+              Library.sort_wrt((name: Document.Node.Name) => name.theory,
+                nodes_status.keySet.toList)
             status.listData = order.map(name => name.theory + " " + nodes_status(name))
           }
       }