Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/structure_matching.scala
changeset 59122 c1dbcde94cd2
parent 59074 7836d927ffca 
--- a/src/Tools/jEdit/src/structure_matching.scala	Tue Dec 09 20:00:45 2014 +0100
+++ b/src/Tools/jEdit/src/structure_matching.scala	Tue Dec 09 21:14:11 2014 +0100
@@ -45,7 +45,7 @@
           val limit = PIDE.options.value.int("jedit_structure_limit") max 0
 
           def is_command_kind(token: Token, pred: String => Boolean): Boolean =
-            syntax.keywords.is_command_kind(token, pred)
+            token.is_command_kind(syntax.keywords, pred)
 
           def iterator(line: Int, lim: Int = limit): Iterator[Text.Info[Token]] =
             Token_Markup.line_token_iterator(syntax, buffer, line, line + lim).
isabelle