offer sessions of group "main" first to increase chances that the user makes a sensible choice;
authorwenzelm
Mon Dec 17 11:07:20 2012 +0100 (2012-12-17)
changeset 505740706797501a0
parent 50573 765c22baa1c9
child 50575 ae1da46022d1
offer sessions of group "main" first to increase chances that the user makes a sensible choice;
src/Tools/jEdit/src/isabelle_logic.scala
src/ZF/ROOT
     1.1 --- a/src/Tools/jEdit/src/isabelle_logic.scala	Mon Dec 17 08:19:35 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/isabelle_logic.scala	Mon Dec 17 11:07:20 2012 +0100
     1.3 @@ -69,7 +69,10 @@
     1.4    def session_list(): List[String] =
     1.5    {
     1.6      val dirs = session_dirs().map((false, _))
     1.7 -    Build.find_sessions(PIDE.options.value, dirs).topological_order.map(_._1).sorted
     1.8 +    val session_tree = Build.find_sessions(PIDE.options.value, dirs)
     1.9 +    val (main_sessions, other_sessions) =
    1.10 +      session_tree.topological_order.partition(p => p._2.groups.contains("main"))
    1.11 +    main_sessions.map(_._1).sorted ::: other_sessions.map(_._1).sorted
    1.12    }
    1.13  
    1.14    def session_content(inlined_files: Boolean): Build.Session_Content =
     2.1 --- a/src/ZF/ROOT	Mon Dec 17 08:19:35 2012 +0100
     2.2 +++ b/src/ZF/ROOT	Mon Dec 17 11:07:20 2012 +0100
     2.3 @@ -1,4 +1,4 @@
     2.4 -session ZF = Pure +
     2.5 +session ZF (main) = Pure +
     2.6    description {*
     2.7      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     2.8      Copyright   1995  University of Cambridge