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/Build/browser_info.scala
changeset 81555 4eba973e8a7b
parent 79502 c7a98469c0e7
child 81558 b57996a0688c 
--- a/src/Pure/Build/browser_info.scala	Sat Dec 07 16:07:48 2024 +0100
+++ b/src/Pure/Build/browser_info.scala	Sat Dec 07 21:42:59 2024 +0100
@@ -522,7 +522,7 @@
                 case _ =>
                   body1
               }
-            Rendering.foreground.get(name) orElse Rendering.text_color.get(name) match {
+            Rendering.foreground.get(name) orElse Rendering.get_text_color(name) match {
               case Some(c) => (html_class(c.toString, html), offset)
               case None => (html_class(name, html), offset)
             }
isabelle