# HG changeset patch
# User wenzelm
# Date 1509552212 -3600
# Node ID 0525320d8774abb8b00778977ea450c23de00347
# Parent  fa79f18eadc7d9312cdfc79cf94d91eaaf33c159
logic_selector refers to raw logic name;

diff -r fa79f18eadc7 -r 0525320d8774 src/Tools/jEdit/src/jedit_sessions.scala
--- a/src/Tools/jEdit/src/jedit_sessions.scala	Wed Nov 01 16:58:38 2017 +0100
+++ b/src/Tools/jEdit/src/jedit_sessions.scala	Wed Nov 01 17:03:32 2017 +0100
@@ -91,8 +91,7 @@
 
   def session_list(options: Options): List[String] =
   {
-    val sessions =
-      Sessions.load(options, dirs = session_dirs(), infos = PIDE.resources.session_base_info.infos)
+    val sessions = Sessions.load(options, dirs = session_dirs())
     val (main_sessions, other_sessions) =
       sessions.imports_topological_order.partition(info => info.groups.contains("main"))
     main_sessions.map(_.name).sorted ::: other_sessions.map(_.name).sorted
@@ -111,7 +110,7 @@
     GUI_Thread.require {}
 
     val entries =
-      new Logic_Entry("", "default (" + PIDE.resources.session_name + ")") ::
+      new Logic_Entry("", "default (" + logic_name(options.value) + ")") ::
         session_list(options.value).map(name => new Logic_Entry(name, name))
 
     val component = new ComboBox(entries) with Option_Component {