Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
include target sessions as well: avoid default "Draft" qualification;
authorwenzelm
Fri, 22 Jun 2018 18:31:50 +0200
changeset 68483 087d32a40129
parent 68482 cb84beb84ca9
child 68484 59793df7f853
include target sessions as well: avoid default "Draft" qualification;
src/Pure/Thy/sessions.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/sessions.scala	Thu Jun 21 14:49:21 2018 +0200
+++ b/src/Pure/Thy/sessions.scala	Fri Jun 22 18:31:50 2018 +0200
@@ -459,7 +459,7 @@
 
     val selected_sessions1 =
     {
-      val sel_sessions1 = session1 :: include_sessions
+      val sel_sessions1 = session1 :: session :: include_sessions
       val select_sessions1 =
         if (session_focus) full_sessions1.imports_descendants(sel_sessions1) else sel_sessions1
       full_sessions1.selection(Selection(sessions = select_sessions1))
isabelle