changeset 34799 | 0330a4284a9b |
parent 34778 | 8eccd35e975e |
child 34802 | 006331f2b128 |
--- a/src/Tools/jEdit/src/proofdocument/proof_document.scala Mon Dec 21 21:50:30 2009 +0100 +++ b/src/Tools/jEdit/src/proofdocument/proof_document.scala Tue Dec 22 15:35:30 2009 +0100 @@ -114,7 +114,7 @@ while (matcher.find() && invalid_tokens != Nil) { val kind = - if (session.is_command_keyword(matcher.group)) + if (session.keywords.is_command(matcher.group)) Token.Kind.COMMAND_START else if (matcher.end - matcher.start > 2 && matcher.group.substring(0, 2) == "(*") Token.Kind.COMMENT