--- a/src/Tools/jEdit/src/isabelle_logic.scala Tue May 06 23:35:24 2014 +0200
+++ b/src/Tools/jEdit/src/isabelle_logic.scala Wed May 07 10:13:31 2014 +0200
@@ -71,8 +71,7 @@
def session_list(): List[String] =
{
- val dirs = session_dirs().map((false, _))
- val session_tree = Build.find_sessions(PIDE.options.value, dirs)
+ val session_tree = Build.find_sessions(PIDE.options.value, dirs = session_dirs())
val (main_sessions, other_sessions) =
session_tree.topological_order.partition(p => p._2.groups.contains("main"))
main_sessions.map(_._1).sorted ::: other_sessions.map(_._1).sorted