--- a/src/Tools/jEdit/src/jedit/document_model.scala Tue Dec 29 15:33:39 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/document_model.scala Tue Dec 29 20:40:08 2009 +0100
@@ -58,8 +58,10 @@
{
/* changes vs. edits */
- private val change_0 = new Change(Isabelle.session.document_0.id, None, Nil) // FIXME !?
- private var _changes = List(change_0) // owned by Swing/AWT thread
+ private val document_0 = session.begin_document(buffer.getName)
+
+ private val change_0 = new Change(document_0.id, None, Nil) // FIXME !?
+ private var _changes = List(change_0) // owned by Swing thread
def changes = _changes
private var current_change = change_0