src/Tools/jEdit/src/isabelle_logic.scala
changeset 56890 7f120d227ca5
parent 56801 8dd9df88f647
child 57612 990ffb84489b
     1.1 --- a/src/Tools/jEdit/src/isabelle_logic.scala	Tue May 06 23:35:24 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle_logic.scala	Wed May 07 10:13:31 2014 +0200
     1.3 @@ -71,8 +71,7 @@
     1.4  
     1.5    def session_list(): List[String] =
     1.6    {
     1.7 -    val dirs = session_dirs().map((false, _))
     1.8 -    val session_tree = Build.find_sessions(PIDE.options.value, dirs)
     1.9 +    val session_tree = Build.find_sessions(PIDE.options.value, dirs = session_dirs())
    1.10      val (main_sessions, other_sessions) =
    1.11        session_tree.topological_order.partition(p => p._2.groups.contains("main"))
    1.12      main_sessions.map(_._1).sorted ::: other_sessions.map(_._1).sorted