src/Tools/jEdit/src/jedit_sessions.scala
changeset 66987 352b23c97ac8
parent 66979 58b166fd8447
child 66988 7f8c1dd7576a
     1.1 --- a/src/Tools/jEdit/src/jedit_sessions.scala	Wed Nov 01 22:13:38 2017 +0100
     1.2 +++ b/src/Tools/jEdit/src/jedit_sessions.scala	Thu Nov 02 10:16:22 2017 +0100
     1.3 @@ -39,6 +39,7 @@
     1.4        Isabelle_System.getenv("JEDIT_LOGIC"),
     1.5        options.string(jedit_logic_option))
     1.6  
     1.7 +  def logic_focus: Boolean = Isabelle_System.getenv("JEDIT_LOGIC_FOCUS") == "true"
     1.8    def logic_base: Boolean = Isabelle_System.getenv("JEDIT_LOGIC_BASE") == "true"
     1.9    def logic_parent: Boolean = Isabelle_System.getenv("JEDIT_LOGIC_PARENT") == "true"
    1.10  
    1.11 @@ -103,15 +104,14 @@
    1.12    /* session build process */
    1.13  
    1.14    def session_base_info(options: Options): Sessions.Base_Info =
    1.15 -  {
    1.16 -    val logic = logic_name(options)
    1.17 -
    1.18      Sessions.base_info(options,
    1.19 -      if (logic_parent) logic_info(options).flatMap(_.parent) getOrElse logic else logic,
    1.20 +      session =
    1.21 +        if (logic_parent) logic_info(options).flatMap(_.parent) getOrElse logic_name(options)
    1.22 +        else logic_name(options),
    1.23        dirs = JEdit_Sessions.session_dirs(),
    1.24 -      all_known = true,
    1.25 +      all_known = !logic_focus,
    1.26 +      focus_session = logic_focus,
    1.27        required_session = logic_base)
    1.28 -  }
    1.29  
    1.30    def session_build(
    1.31      options: Options, progress: Progress = No_Progress, no_build: Boolean = false): Int =