author | wenzelm |
Fri, 22 Jun 2018 18:31:50 +0200 | |
changeset 68483 | 087d32a40129 |
parent 68482 | cb84beb84ca9 |
child 68484 | 59793df7f853 |
--- 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))