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/Pure/PIDE/rendering.scala
changeset 68822 253f04c1e814
parent 68758 a110e7e24e55
child 68871 f5c76072db55 
--- a/src/Pure/PIDE/rendering.scala	Mon Aug 27 19:12:48 2018 +0200
+++ b/src/Pure/PIDE/rendering.scala	Mon Aug 27 19:29:07 2018 +0200
@@ -136,9 +136,7 @@
     Markup.ML_NUMERAL -> Color.inner_numeral,
     Markup.ML_CHAR -> Color.inner_quoted,
     Markup.ML_STRING -> Color.inner_quoted,
-    Markup.ML_COMMENT -> Color.inner_comment,
-    Markup.SML_STRING -> Color.inner_quoted,
-    Markup.SML_COMMENT -> Color.inner_comment)
+    Markup.ML_COMMENT -> Color.inner_comment)
 
   val foreground =
     Map(
isabelle