logic_selector refers to raw logic name;
authorwenzelm
Wed Nov 01 17:03:32 2017 +0100 (19 months ago)
changeset 669780525320d8774
parent 66977 fa79f18eadc7
child 66979 58b166fd8447
logic_selector refers to raw logic name;
src/Tools/jEdit/src/jedit_sessions.scala
     1.1 --- a/src/Tools/jEdit/src/jedit_sessions.scala	Wed Nov 01 16:58:38 2017 +0100
     1.2 +++ b/src/Tools/jEdit/src/jedit_sessions.scala	Wed Nov 01 17:03:32 2017 +0100
     1.3 @@ -91,8 +91,7 @@
     1.4  
     1.5    def session_list(options: Options): List[String] =
     1.6    {
     1.7 -    val sessions =
     1.8 -      Sessions.load(options, dirs = session_dirs(), infos = PIDE.resources.session_base_info.infos)
     1.9 +    val sessions = Sessions.load(options, dirs = session_dirs())
    1.10      val (main_sessions, other_sessions) =
    1.11        sessions.imports_topological_order.partition(info => info.groups.contains("main"))
    1.12      main_sessions.map(_.name).sorted ::: other_sessions.map(_.name).sorted
    1.13 @@ -111,7 +110,7 @@
    1.14      GUI_Thread.require {}
    1.15  
    1.16      val entries =
    1.17 -      new Logic_Entry("", "default (" + PIDE.resources.session_name + ")") ::
    1.18 +      new Logic_Entry("", "default (" + logic_name(options.value) + ")") ::
    1.19          session_list(options.value).map(name => new Logic_Entry(name, name))
    1.20  
    1.21      val component = new ComboBox(entries) with Option_Component {