tuned;
authorwenzelm
Sun Dec 04 13:40:54 2016 +0100 (2016-12-04)
changeset 645354f161e8cdaac
parent 64528 a67edee6b1fa
child 64536 e61de633a3ed
tuned;
src/Tools/jEdit/src/isabelle.scala
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Sun Nov 27 15:21:06 2016 +0100
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Sun Dec 04 13:40:54 2016 +0100
     1.3 @@ -277,7 +277,7 @@
     1.4                : (List[Token], Scan.Line_Context) =
     1.5              {
     1.6                val text = JEdit_Lib.try_get_text(buffer, Text.Range(start, stop)).getOrElse("")
     1.7 -              val (toks, context1) = Token.explode_line(syntax.keywords, text, context)
     1.8 +              val (toks, context1) = Token.explode_line(keywords, text, context)
     1.9                val toks1 = toks.filterNot(_.is_space)
    1.10                (toks1, context1)
    1.11              }