# HG changeset patch
# User wenzelm
# Date 1557406256 -7200
# Node ID cb334a92a4db409feb4d3205bdfadd98a5548271
# Parent  236c1bb128dad86f5335c9a126a8a3985df1569a
proper session chapter;
cannot access session: refers to ROOT entry;

diff -r 236c1bb128da -r cb334a92a4db src/Tools/jEdit/src/isabelle_session.scala
--- a/src/Tools/jEdit/src/isabelle_session.scala	Thu May 09 14:22:25 2019 +0200
+++ b/src/Tools/jEdit/src/isabelle_session.scala	Thu May 09 14:50:56 2019 +0200
@@ -88,8 +88,12 @@
         case Some(snapshot) =>
           val sessions = sessions_structure()
           val session = PIDE.resources.session_base.theory_qualifier(snapshot.node_name)
-          val chapter = sessions.get(session).getOrElse(Sessions.UNSORTED)
-          chapter + "/" + session
+          val chapter =
+            sessions.get(session) match {
+              case Some(info) => info.chapter
+              case None => Sessions.UNSORTED
+            }
+          chapter
       }
     VFSBrowser.browseDirectory(view, vfs_prefix + path)
   }