tuned GUI;

--- a/src/Tools/jEdit/src/jedit_sessions.scala	Wed Nov 09 19:42:21 2022 +0100
+++ b/src/Tools/jEdit/src/jedit_sessions.scala	Wed Nov 09 20:30:52 2022 +0100
@@ -81,7 +81,7 @@
       val main_sessions = all_sessions.filter(name => sessions(name).main_group)
 
       main_sessions.map(GUI.Selector.item) ::: List(GUI.Selector.separator) :::
-      all_sessions.map(GUI.Selector.item)
+      all_sessions.sorted.map(GUI.Selector.item)
     }
 
     new GUI.Selector(default_entry :: session_entries) with JEdit_Options.Entry {