src/Tools/jEdit/src/proofdocument/proof_document.scala
changeset 34819 86cb7f8e5a0d
parent 34818 7df68a8f0e3e
equal deleted inserted replaced
34818:7df68a8f0e3e 34819:86cb7f8e5a0d
   145     val matcher =
   145     val matcher =
   146       Proof_Document.token_pattern.matcher(Token.string_from_tokens(invalid_tokens, start))
   146       Proof_Document.token_pattern.matcher(Token.string_from_tokens(invalid_tokens, start))
   147 
   147 
   148     while (matcher.find() && invalid_tokens != Nil) {
   148     while (matcher.find() && invalid_tokens != Nil) {
   149 			val kind =
   149 			val kind =
   150         if (session.syntax().is_command(matcher.group))
   150         if (session.current_syntax.is_command(matcher.group))
   151           Token.Kind.COMMAND_START
   151           Token.Kind.COMMAND_START
   152         else if (matcher.end - matcher.start > 2 && matcher.group.substring(0, 2) == "(*")
   152         else if (matcher.end - matcher.start > 2 && matcher.group.substring(0, 2) == "(*")
   153           Token.Kind.COMMENT
   153           Token.Kind.COMMENT
   154         else
   154         else
   155           Token.Kind.OTHER
   155           Token.Kind.OTHER