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 rendering;
authorwenzelm
Wed, 08 Mar 2017 10:29:40 +0100
changeset 65150 fa299b4e50c3
parent 65149 9dccbebf4511
child 65151 a7394aa4d21c
clarified rendering;
src/Pure/PIDE/rendering.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/rendering.scala	Wed Mar 08 10:25:47 2017 +0100
+++ b/src/Pure/PIDE/rendering.scala	Wed Mar 08 10:29:40 2017 +0100
@@ -276,7 +276,7 @@
                 }
               case (_, Text.Info(_, XML.Elem(Markup.Markdown_Item(depth), _))) =>
                 val color =
-                  depth match {
+                  depth % 4 match {
                     case 1 => Rendering.Color.markdown_item1
                     case 2 => Rendering.Color.markdown_item2
                     case 3 => Rendering.Color.markdown_item3
isabelle