Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/jedit_sessions.scala
changeset 70382 23ba5a638e6d
parent 70105 eadd87383e30
child 70683 8c7706b053c7 
--- a/src/Tools/jEdit/src/jedit_sessions.scala	Fri Jul 19 12:57:14 2019 +0100
+++ b/src/Tools/jEdit/src/jedit_sessions.scala	Sat Jul 20 11:17:54 2019 +0200
@@ -19,7 +19,7 @@
   /* session options */
 
   def session_dirs(): List[Path] =
-    Path.split(Isabelle_System.getenv("JEDIT_SESSION_DIRS"))
+    Path.split(Isabelle_System.getenv("JEDIT_SESSION_DIRS")).filterNot(p => p.implode == "-")
 
   def session_no_build(): Boolean =
     Isabelle_System.getenv("JEDIT_NO_BUILD") == "true"
isabelle