--- a/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala Mon Aug 23 16:53:22 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala Mon Aug 23 17:35:47 2010 +0200
@@ -44,7 +44,7 @@
stopped = false
- // FIXME lock buffer !??
+ // FIXME lock buffer (!??)
val data = new SideKickParsedData(buffer.getName)
val root = data.root
data.getAsset(root).setEnd(buffer.getLength)
@@ -66,6 +66,7 @@
override def complete(pane: EditPane, caret: Int): SideKickCompletion =
{
+ // FIXME lock buffer (!?)
val buffer = pane.getBuffer
val line = buffer.getLineOfOffset(caret)