PlutoStaticHTML.jl
PlutoStaticHTML.jl copied to clipboard
Rendering of UTF8 broken? Or maybe terminal color?
I added a small block to my notebooks to display package versions (since in the rendered variant I am hiding the loading block now), but it seems to show the UTF8 symbols wrong.
In there rendered PlutoStaticHTML I get
which in Pluto looks much nicer
not that the colours are so important, but at least the symbols correct would be nice – though the color commands might be what we see here?
Also PlutoStaticHTML seems to be stuck on 0.19.16 while 0.19.19 is out, Is such a strict compat necessary? You could set it to 0.19 (and not do updates for every patch of Pluto).
These are indeed terminal colors. According to https://github.com/rikhuijzer/PlutoStaticHTML.jl/pull/88/files, the with_terminal
patch is applied if <script type="text/javascript" id="plutouiterminal">
is found in the body of the HTML. Maybe that goes wrong. I don't know where exactly it is not working for you so I cannot reproduce currently.
Also PlutoStaticHTML seems to be stuck on 0.19.16 while 0.19.19 is out, Is such a strict compat necessary? You could set it to 0.19 (and not do updates for every patch of Pluto).
If it wasn't necessary, I wouldn't have done it. PlutoStaticHTML
depends on a lot of Pluto internals which may change at any moment.
The code will be put into all notebooks at some point, but the screenshot above is from
https://github.com/JuliaManifolds/Manopt.jl/blob/kellertuer/costgrad-and-cache/tutorials/Optimize!.jl#L76
once run with docs/make.jl
from the same branch – the screenshot from Pluto is made from the same notebook run with Pluto 0.19.16
edit: Ah I can even link the output since deploying works for now again, its this result https://manoptjl.org/previews/PR174/tutorials/Optimize!/