<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Oct 15, 2013 at 12:07 PM, Jens Axel Søgaard <span dir="ltr"><<a href="mailto:jensaxel@soegaard.net" target="_blank">jensaxel@soegaard.net</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">2013/10/15 Robby Findler <<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>>:<br>
<div class="im">> Oh, right! Silly me. I've fixed 2htdp/image images so they can be converted<br>
> to svgs.<br>
><br>
> I've also adjusted the scribble html renderer so that it treats the<br>
> current-render-pict-as parameter as a suggestion on an ordering (png first<br>
> or svg first) instead of insisting that all convertible things render as one<br>
> or the other.<br>
><br>
> But now that I write this message, I'm thinking that it probably makes more<br>
> sense to have a parameter whose value is a list of suggested conversions<br>
</div>> (the importance being the order) and ...<br>
<br>
This makes sense.<br>
<br>
> ... that the parameters names should be based around the<br>
<div class="im">> word 'convertible' instead of 'pict'.<br>
<br>
</div>I see what you mean. In my case I just need picts to become svgs.<br>
Although bitmaps are in principle convertible to svgs, they should stay bitmaps.<br>
<div class="im"><br></div></blockquote><div><br></div><div>Ah, okay. I'll note that the code doesn't actually do that, tho. </div><div><br></div><div>Maybe the parameter should really be a function from the value to a list of symbols (specifying what to try to convert it into). Hm. This seems to be getting kind of complex, tho.</div>
<div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
> Does that seem okay to you?<br>
<br>
</div>Yes.<br>
<span class="HOEnZb"><font color="#888888"><br>
/Jens Axel<br>
</font></span></blockquote></div><br></div></div>