# HG changeset patch
# User wenzelm
# Date 1491558824 -7200
# Node ID 6389e3ec32ec8e44f98b153d6b92d7ad55a94f1a
# Parent  695d4e22345a9f6e2c25994f3eece12d38aef95a
tuned;

diff -r 695d4e22345a -r 6389e3ec32ec src/Tools/jEdit/src/jedit_sessions.scala
--- a/src/Tools/jEdit/src/jedit_sessions.scala	Fri Apr 07 11:50:49 2017 +0200
+++ b/src/Tools/jEdit/src/jedit_sessions.scala	Fri Apr 07 11:53:44 2017 +0200
@@ -38,10 +38,10 @@
         options.string(option_name))
 
     (for {
-      tree <-
+      sessions <-
         try { Some(Sessions.load(session_options(options), dirs = session_dirs())) }
         catch { case ERROR(_) => None }
-      info <- tree.get(logic)
+      info <- sessions.get(logic)
       parent <- info.parent
       if Isabelle_System.getenv("JEDIT_LOGIC_ROOT") == "true"
     } yield Info(parent, info.pos)) getOrElse Info(logic, Position.none)
@@ -75,9 +75,9 @@
 
   def session_list(options: Options): List[String] =
   {
-    val session_tree = Sessions.load(options, dirs = session_dirs())
+    val sessions = Sessions.load(options, dirs = session_dirs())
     val (main_sessions, other_sessions) =
-      session_tree.imports_topological_order.partition(p => p._2.groups.contains("main"))
+      sessions.imports_topological_order.partition(p => p._2.groups.contains("main"))
     main_sessions.map(_._1).sorted ::: other_sessions.map(_._1).sorted
   }