--- 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 */