gfredtech
2018-1-28 09:08:28

@gfredtech has joined the channel


buoyantair
2018-1-28 09:33:09

@buoyantair has joined the channel


buoyantair
2018-1-28 09:35:12

Hi all


buoyantair
2018-1-28 09:35:30

Im learning Racket via HTDP book and the edx course :slightly_smiling_face:


buoyantair
2018-1-28 09:35:46

Is anyone here following the course/book?


buoyantair
2018-1-28 09:35:46

:smile:


buoyantair
2018-1-28 11:37:04

Anyone here o.o


dmitryhertz
2018-1-28 14:28:13

People are sleeping


buoyantair
2018-1-28 16:06:14

wow :3


buoyantair
2018-1-28 16:06:18

timezones >.<


blerner
2018-1-28 17:22:27

Scribble experts, is there an easy way to change the pict_###.png filenames generated by embedded images?


mflatt
2018-1-28 19:03:15

@blerner not currently; the name “pict.png” is hardwired, as is the "_###" convention for disambiguating


blerner
2018-1-28 19:45:35

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


blerner
2018-1-28 22:11:40

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?


blerner
2018-1-28 22:12:39

(potentially the same thing should happen for “pict.svg” a few lines later)


mflatt
2018-1-29 02:51:50

@blerner Yes, adding a parameter or initialization argument to render% would be good.