changeset 64535 | 4f161e8cdaac |
parent 64456 | f630e9385d7e |
child 64665 | 00aa710ff7f0 |
--- 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) }