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/jedit_rendering.scala
changeset 69963 396e0120f7b8
parent 69898 990c6e8faf2c
child 70016 a8142ac5e4b6 
--- a/src/Tools/jEdit/src/jedit_rendering.scala	Sun Mar 24 13:48:46 2019 +0100
+++ b/src/Tools/jEdit/src/jedit_rendering.scala	Sun Mar 24 17:19:30 2019 +0100
@@ -59,7 +59,7 @@
       Token.Kind.STRING -> LITERAL1,
       Token.Kind.ALT_STRING -> LITERAL2,
       Token.Kind.VERBATIM -> COMMENT3,
-      Token.Kind.CARTOUCHE -> COMMENT4,
+      Token.Kind.CARTOUCHE -> COMMENT3,
       Token.Kind.INFORMAL_COMMENT -> COMMENT1,
       Token.Kind.FORMAL_COMMENT -> COMMENT1,
       Token.Kind.ERROR -> INVALID
isabelle