src/Tools/jEdit/src/structure_matching.scala
changeset 59122 c1dbcde94cd2
parent 59074 7836d927ffca
     1.1 --- a/src/Tools/jEdit/src/structure_matching.scala	Tue Dec 09 20:00:45 2014 +0100
     1.2 +++ b/src/Tools/jEdit/src/structure_matching.scala	Tue Dec 09 21:14:11 2014 +0100
     1.3 @@ -45,7 +45,7 @@
     1.4            val limit = PIDE.options.value.int("jedit_structure_limit") max 0
     1.5  
     1.6            def is_command_kind(token: Token, pred: String => Boolean): Boolean =
     1.7 -            syntax.keywords.is_command_kind(token, pred)
     1.8 +            token.is_command_kind(syntax.keywords, pred)
     1.9  
    1.10            def iterator(line: Int, lim: Int = limit): Iterator[Text.Info[Token]] =
    1.11              Token_Markup.line_token_iterator(syntax, buffer, line, line + lim).