--- a/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala Wed Nov 10 17:53:41 2010 +0100
+++ b/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala Wed Nov 10 20:21:55 2010 +0100
@@ -137,8 +137,7 @@
case _ => Nil
}
- val buffer = model.buffer
- val text = Isabelle.buffer_lock(buffer) { buffer.getText(0, buffer.getLength) }
+ val text = Isabelle.buffer_text(model.buffer)
val structure = Structure.parse_sections(syntax, "theory " + model.thy_name, text)
make_tree(0, structure) foreach (node => data.root.add(node))