--- a/lib/jedit/plugin/isabelle_parser.scala Thu Aug 28 19:31:13 2008 +0200
+++ b/lib/jedit/plugin/isabelle_parser.scala Thu Aug 28 19:31:55 2008 +0200
@@ -11,13 +11,11 @@
import javax.swing.tree.DefaultMutableTreeNode
import javax.swing.tree.DefaultTreeModel
-import org.gjt.sp.jedit.Buffer
+import org.gjt.sp.jedit.{Buffer, EditPane}
import org.gjt.sp.util.Log
-import sidekick.Asset
-import sidekick.SideKickParsedData
-import sidekick.SideKickParser
import errorlist.DefaultErrorSource
+import sidekick.{Asset, SideKickParser, SideKickParsedData, SideKickCompletion}
private class IsabelleAsset(name: String, content: String) extends Asset(name)
@@ -29,6 +27,9 @@
class IsabelleParser extends SideKickParser("isabelle") {
+
+ /* parsing */
+
private var stopped = false
override def stop () { stopped = true }
@@ -58,5 +59,14 @@
data
}
+
+
+ /* completion */
+
+ override def supportsCompletion = true
+ override def canCompleteAnywhere = true
+
+ override def complete(pane: EditPane, caret: Int): SideKickCompletion = null
+
}