tuned;

--- a/src/Tools/jEdit/src/isabelle.scala	Sun Nov 27 15:21:06 2016 +0100
+++ b/src/Tools/jEdit/src/isabelle.scala	Sun Dec 04 13:40:54 2016 +0100
@@ -277,7 +277,7 @@
               : (List[Token], Scan.Line_Context) =
             {
               val text = JEdit_Lib.try_get_text(buffer, Text.Range(start, stop)).getOrElse("")
-              val (toks, context1) = Token.explode_line(syntax.keywords, text, context)
+              val (toks, context1) = Token.explode_line(keywords, text, context)
               val toks1 = toks.filterNot(_.is_space)
               (toks1, context1)
             }