# HG changeset patch
# User wenzelm
# Date 1338326377 -7200
# Node ID 8559d681a617fa2562c1c2f19f7714ad78251fd7
# Parent  0f1d95663dff49060b31e737aaf79b9fd26719a2
update GUI components after init;

diff -r 0f1d95663dff -r 8559d681a617 src/Tools/jEdit/src/output_dockable.scala
--- a/src/Tools/jEdit/src/output_dockable.scala	Tue May 29 22:44:02 2012 +0200
+++ b/src/Tools/jEdit/src/output_dockable.scala	Tue May 29 23:19:37 2012 +0200
@@ -133,6 +133,7 @@
     Isabelle.session.global_settings += main_actor
     Isabelle.session.commands_changed += main_actor
     Isabelle.session.caret_focus += main_actor
+    handle_update()
   }
 
   override def exit()
@@ -178,6 +179,4 @@
 
   private val controls = new FlowPanel(FlowPanel.Alignment.Right)(zoom, tracing, auto_update, update)
   add(controls.peer, BorderLayout.NORTH)
-
-  handle_update()
 }