lib/jedit/plugin/isabelle_parser.scala

 
 import javax.swing.text.Position
 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)
 {
   override def getShortString() = { name }

   override def getIcon() = { null }
 }
 
 
 class IsabelleParser extends SideKickParser("isabelle") {
+
+  /* parsing */
+
   private var stopped = false
 
   override def stop () { stopped = true }
 
   def parse(buffer: Buffer, e: DefaultErrorSource): SideKickParsedData = {

       buffer.readUnlock()
     }
 
     data
   }
+
+
+  /* completion */
+
+  override def supportsCompletion = true
+  override def canCompleteAnywhere = true
+
+  override def complete(pane: EditPane, caret: Int): SideKickCompletion = null
+
 }