# HG changeset patch
# User wenzelm
# Date 1448111348 -3600
# Node ID 08236d91958627b6dbd9d0a944066ca50bfabafe
# Parent  5dc95d957569ef8f007a20f8a3bb6aa18b3e2dca
tuned;

diff -r 5dc95d957569 -r 08236d919586 src/Tools/jEdit/src/theories_dockable.scala
--- 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()
       }
   }