X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fhtml_trace.ml;h=0d4890ed9df4d60da972b60198d7a61afdb109e6;hp=58c1f68a41ad26c7c30e966c14f358631d68fd57;hb=22f564fb392fd71207e19cc862c0a18c34d1c2c0;hpb=3dfc363bf140b2d385f48a53d05a8cdd72fc7033

diff --git a/src/html_trace.ml b/src/html_trace.ml
index 58c1f68..0d4890e 100644
--- a/src/html_trace.ml
+++ b/src/html_trace.ml
@@ -168,14 +168,14 @@ var rounds = %i;\n"
   fprintf ohtml "%s"
     "</script>\n\
 <div id='svg'>\n
-   <svg id='svgimg' width='' height='' xmlns=\"http://www.w3.org/2000/svg\" version=\"1.1\">\n";
+   <svg id='svgimg' width='' height='' preserveAspectRatio='XMidYMid slice' xmlns=\"http://www.w3.org/2000/svg\" version=\"1.1\">\n";
   let maxw, maxh = loop ohtml (T.root tree) T.nil T.nil 50 50 in
   fprintf ohtml "</svg>\n</div><script type='text/javascript'>\n\
-window.onload = function () {\n
-    var svg = document.getElementById('svgimg');\n
-    svg.setAttribute('width', %i);\n
-    svg.setAttribute('height', %i);\n
-    activate('node0');\n
+window.onload = function () {\n\
+    var svg = document.getElementById('svgimg');\n\
+    svg.setAttribute('width', %i);\n\
+    svg.setAttribute('height', %i);\n\
+    activate('node0');\n\
 };\n
 </script></body></html>\n%!"
     maxw maxh;