author | wenzelm |
Sun, 04 Dec 2016 13:40:54 +0100 | |
changeset 64535 | 4f161e8cdaac |
parent 64528 | a67edee6b1fa |
child 64536 | e61de633a3ed |
--- 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) }