# HG changeset patch
# User wenzelm
# Date 1480855254 -3600
# Node ID 4f161e8cdaac33c08049513564b40c3ee3806182
# Parent  a67edee6b1fa0aa4ee0fb32107589e1ee98570b8
tuned;

diff -r a67edee6b1fa -r 4f161e8cdaac src/Tools/jEdit/src/isabelle.scala
--- 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)
             }