tuned;

--- a/src/Tools/jEdit/src/theories_dockable.scala	Fri Nov 20 21:52:05 2015 +0100
+++ b/src/Tools/jEdit/src/theories_dockable.scala	Sat Nov 21 14:09:08 2015 +0100
@@ -215,7 +215,7 @@
       GUI_Thread.now {
         nodes_status = nodes_status2
         status.listData = nodes.topological_order.filter(nodes_status.isDefinedAt(_))
-        status.repaint
+        status.repaint()
       }
   }