tuned;

--- a/src/Tools/jEdit/src/theories_dockable.scala	Sat Aug 18 14:55:53 2018 +0200
+++ b/src/Tools/jEdit/src/theories_dockable.scala	Sat Aug 18 14:59:40 2018 +0200
@@ -214,16 +214,13 @@
   {
     GUI_Thread.require {}
 
+    val session_base = PIDE.resources.session_base
     val snapshot = PIDE.session.snapshot()
 
     for {
-      (nodes_status1, nodes_list) <-
-        nodes_status.update(
-          PIDE.resources.session_base, snapshot.state, snapshot.version, domain, trim)
-    } {
-      nodes_status = nodes_status1
-      status.listData = nodes_list
-    }
+      (nodes_status1, nodes_list1) <-
+        nodes_status.update(session_base, snapshot.state, snapshot.version, domain, trim)
+    } { nodes_status = nodes_status1; status.listData = nodes_list1 }
   }