--- a/src/Tools/jEdit/src/isabelle_sidekick.scala Thu Mar 15 10:16:21 2012 +0100
+++ b/src/Tools/jEdit/src/isabelle_sidekick.scala Thu Mar 15 11:37:56 2012 +0100
@@ -92,7 +92,7 @@
val start = buffer.getLineStartOffset(line)
val text = buffer.getSegment(start, caret - start)
- val completion = model.session.current_syntax().completion
+ val completion = model.session.recent_syntax().completion
completion.complete(text) match {
case None => null
case Some((word, cs)) =>
@@ -116,7 +116,7 @@
def parser(data: SideKickParsedData, model: Document_Model)
{
- val syntax = model.session.current_syntax()
+ val syntax = model.session.recent_syntax()
def make_tree(offset: Text.Offset, entry: Structure.Entry): List[DefaultMutableTreeNode] =
entry match {