@gfredtech has joined the channel
@buoyantair has joined the channel
Hi all
Im learning Racket via HTDP book and the edx course :slightly_smiling_face:
Is anyone here following the course/book?
:smile:
Anyone here o.o
People are sleeping
wow :3
timezones >.<
Scribble experts, is there an easy way to change the pict_###.png filenames generated by embedded images?
@blerner not currently; the name “pict.png” is hardwired, as is the "_###" convention for disambiguating
Bummer. Where is it hardwired, though? If it’s in the html renderer, well, I’ve already patched that before, could do it again if needed
Coming back to this now. Seems like ./pkgs/scribble-lib/scribble/html-render.rkt:1452 defines this via (install-file "pict.png" bstr)
Could that "pict.png"
filename become a make-parameter
instead?
(potentially the same thing should happen for “pict.svg” a few lines later)
@blerner Yes, adding a parameter or initialization argument to render%
would be good.