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/rendering.scala
changeset 58901 47809a811eba
parent 58900 1435cc20b022
child 59081 2ceb05ee0331 
--- a/src/Tools/jEdit/src/rendering.scala	Wed Nov 05 16:57:12 2014 +0100
+++ b/src/Tools/jEdit/src/rendering.scala	Wed Nov 05 17:37:25 2014 +0100
@@ -85,7 +85,7 @@
   }
 
   def token_markup(syntax: Outer_Syntax, token: Token): Byte =
-    if (token.is_command) command_style(syntax.keywords.kind(token.content).getOrElse(""))
+    if (token.is_command) command_style(syntax.keywords.command_kind(token.content).getOrElse(""))
     else if (token.is_delimiter) JEditToken.OPERATOR
     else token_style(token.kind)
isabelle