[racket] Bug in scribble's image-element?

From: Antonio Menezes Leitao (antonio.menezes.leitao at ist.utl.pt)
Date: Mon Aug 4 08:20:24 EDT 2014

On Mon, Aug 4, 2014 at 10:35 AM, Jens Axel Søgaard <jensaxel at soegaard.net>

> It is not intended. I am not sure whether it simply doesn't work, or
> whether
> it is browser related.
> SVG images are currently inserted with an html <object> tag where as the
> other
> images are inserted as <img>. The width and height attributes are set in
> both
> cases.

Indeed. But in the case of PNGs and GIFs they have their width and height
adjusted by the scale, while SVGs do not.
I did not test other browsers, but recent versions of Chrome and IE seem to
honor the scaled size.

In fact, I'm currently using a patched html-render.rkt to generate
documentation containing tons of tikz pictures, and it looks great.
Each picture is converted to svg by pdflatex+standalone+pdf2svg and then
included in an image-element with an appropriate scaling factor.
Before, I was converting everything to PNGs but the documentation was
taking inordinate amounts of disk space.

Obviously, I would prefer to use an officially maintained version of
Scribble that supports scaled SVGs.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140804/76f4b7b3/attachment.html>

Posted on the users mailing list.