# HG changeset patch
# User wenzelm
# Date 1448131094 -3600
# Node ID 04f8564d69830c0e539860353a15df1872a8cd8e
# Parent  1529c3eb6bac44a049aef2c227bfc5e564d2d8ad
clarified default (again) in accordance to with Output dockable, despite more CPU resources requirements;

diff -r 1529c3eb6bac -r 04f8564d6983 src/Tools/jEdit/src/state_dockable.scala
--- a/src/Tools/jEdit/src/state_dockable.scala	Sat Nov 21 19:27:06 2015 +0100
+++ b/src/Tools/jEdit/src/state_dockable.scala	Sat Nov 21 19:38:14 2015 +0100
@@ -57,7 +57,7 @@
 
   /* update */
 
-  private var do_update = false
+  private var do_update = true
 
   private def maybe_update(): Unit = GUI_Thread.require { if (do_update) update() }