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/build_manager.scala
changeset 80396 94875d8cc8bd
parent 80349 2503ff5d29ce
parent 80393 6138c5b803be
child 80405 661a226bb49a 
--- a/src/Pure/Build/build_manager.scala	Wed Jun 12 10:47:53 2024 +0200
+++ b/src/Pure/Build/build_manager.scala	Sun Jun 16 21:54:09 2024 +0200
@@ -1179,7 +1179,7 @@
       val head =
         List(
           HTML.title("Isabelle Build Manager"),
-          Web_App.More_HTML.icon("data:image/x-icon;base64," + logo.encode_base64),
+          Web_App.More_HTML.icon("data:image/x-icon;base64," + logo.encode_base64.text),
           HTML.style_file("https://hawkz.github.io/gdcss/gd.css"),
           HTML.style("html { background-color: white; }"))
     }
isabelle