<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Tue, Jan 7, 2014 at 12:54 AM, Matthew Flatt <span dir="ltr"><<a href="mailto:mflatt@cs.utah.edu" target="_blank">mflatt@cs.utah.edu</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">How are the images produced in your Scribble program/document?<br></blockquote><div><br></div><div>Currently I'm using 2htdp/image to generate the images, and including them in Scribble using</div>

<div>figure, figure* and figure-here. </div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
If you're referencing ".png" files via `image`, then if you could just<br>
reference ".pdf" files instead. In particular, you could write `image*`<br>
that converts a ".png" to ".pdf" and calls `image`.<br></blockquote><div><br></div><div>Actually 'image' happily includes .pdfs generated by convert.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">


If you're generating bitmaps some other way, the right change may be to<br>
generate a value that is convertable to 'pdf-bytres instead of just<br>
'png-bytes, since the Latex/PDF renderer tries 'pdf-bytes before<br>
'png-bytes.<br>
<br>
If you'd like to experiment with changing Scribble, see<br>
<br>
  scribble-pkgs/scribble-lib/scribble/latex-render.rkt<br>
<br>
in the Racket repository, around line 342. You could add a convert of<br>
PNG to PDF via using `pdf-dc%`.</blockquote><div><br></div><div>Perhaps using a pdf-dc% to directly generate pdf-based images would make</div><div>even more sense? Such an approach would potentially improve quality</div>

<div>-- e.g. nicely rendered text -- in addition to speed.</div><div><br></div><div>I'm finding the abstractions in 2htdp/image -- like beside, above, and overlay</div><div>-- very useful and don't really want to give them up! Would you advise working </div>

<div>directly with the lower-level routines, checking out pict, or is there a way to stick</div><div>with 2htdp/image?</div><div><br></div><div><br></div><div>Thanks again</div><div><br></div><div>Dan</div></div><div dir="ltr">

</div>
</div></div>