# HG changeset patch
# User wenzelm
# Date 1230580238 -3600
# Node ID 19bd801975a3dfd826531d5e96823906a19bf430
# Parent  14367c0715e8533fb74916824e4385c8b49f899c
tuned;

diff -r 14367c0715e8 -r 19bd801975a3 src/Tools/jEdit/src/jedit/TheoryView.scala
--- a/src/Tools/jEdit/src/jedit/TheoryView.scala	Mon Dec 29 20:43:04 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/TheoryView.scala	Mon Dec 29 20:50:38 2008 +0100
@@ -85,7 +85,6 @@
   col_timer.setRepeats(true)
 
 
-  private val changes_bus = new EventBus[Text.Changed]
   private val phase_overview = new PhaseOverviewPanel(Isabelle.prover(buffer))
 
 
@@ -222,8 +221,7 @@
 
   def content(start: Int, stop: Int) = buffer.getText(start, stop - start)
   def length = buffer.getLength
-  def changes = changes_bus
-
+  val changes = new EventBus[Text.Changed]
 
 
   /* BufferListener methods */