# HG changeset patch
# User wenzelm
# Date 1534597180 -7200
# Node ID 8292cfd7b8193e8ce20104f7085a7b48cca038e3
# Parent  43a8d0f08600eb7432223867485cb1dce7d58000
tuned;

diff -r 43a8d0f08600 -r 8292cfd7b819 src/Tools/jEdit/src/theories_dockable.scala
--- 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 }
   }