src/Tools/jEdit/src/jedit_sessions.scala
changeset 65254 3075aa3b40bf
parent 65252 8b776d12f6c0
child 65256 c3d6dd17d626
--- a/src/Tools/jEdit/src/jedit_sessions.scala	Wed Mar 15 10:48:46 2017 +0100
+++ b/src/Tools/jEdit/src/jedit_sessions.scala	Wed Mar 15 11:04:46 2017 +0100
@@ -83,7 +83,7 @@
   {
     val base =
       try { Sessions.session_base(PIDE.options.value, session_name(), session_dirs()) }
-      catch { case ERROR(_) => Sessions.Base.empty }
+      catch { case ERROR(_) => Sessions.pure_base(PIDE.options.value) }
     base.copy(known_theories =
       for ((a, b) <- base.known_theories) yield (a, b.map(File.platform_path(_))))
   }