--- a/src/Tools/jEdit/src/jedit_sessions.scala Fri Jun 29 15:54:41 2018 +0200
+++ b/src/Tools/jEdit/src/jedit_sessions.scala Fri Jun 29 16:45:54 2018 +0200
@@ -42,6 +42,8 @@
def logic_ancestor: Option[String] = proper_string(Isabelle_System.getenv("JEDIT_LOGIC_ANCESTOR"))
def logic_requirements: Boolean = Isabelle_System.getenv("JEDIT_LOGIC_REQUIREMENTS") == "true"
def logic_focus: Boolean = Isabelle_System.getenv("JEDIT_LOGIC_FOCUS") == "true"
+ def logic_include_sessions: List[String] =
+ space_explode(':', Isabelle_System.getenv("JEDIT_INCLUDE_SESSIONS"))
def logic_info(options: Options): Option[Sessions.Info] =
try {
@@ -108,6 +110,7 @@
def session_base_info(options: Options): Sessions.Base_Info =
Sessions.base_info(options,
dirs = JEdit_Sessions.session_dirs(),
+ include_sessions = logic_include_sessions,
session = logic_name(options),
session_ancestor = logic_ancestor,
session_requirements = logic_requirements,