Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified markup;
authorwenzelm
Tue, 16 Jan 2018 11:30:03 +0100
changeset 67447 c98c6eb3dd4c
parent 67446 1f4d167b6ac9
child 67448 dbb1f02e667d
clarified markup;
src/Tools/jEdit/src/jedit_rendering.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jedit_rendering.scala	Tue Jan 16 11:27:52 2018 +0100
+++ b/src/Tools/jEdit/src/jedit_rendering.scala	Tue Jan 16 11:30:03 2018 +0100
@@ -68,7 +68,6 @@
 
   def token_markup(syntax: Outer_Syntax, token: Token): Byte =
     if (token.is_command) command_style(syntax.keywords.kinds.getOrElse(token.content, ""))
-    else if (token.is_keyword && token.source == Symbol.comment_decoded) JEditToken.NULL
     else if (token.is_delimiter) JEditToken.OPERATOR
     else token_style(token.kind)
isabelle