From: Kim Nguyễn <kn@lri.fr>
Date: Sun, 8 Dec 2013 16:20:37 +0000 (+0100)
Subject: Cosmetic changes (whitespaces) and add comments at the top of the .str files to load... 
X-Git-Tag: v0.1~9
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=22f564fb392fd71207e19cc862c0a18c34d1c2c0

Cosmetic changes (whitespaces) and add comments at the top of the .str files to load the correct emacs-mode when editing.
---

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;
diff --git a/src/trace_css.ml.str b/src/trace_css.ml.str
index 513b239..00fc918 100644
--- a/src/trace_css.ml.str
+++ b/src/trace_css.ml.str
@@ -1,3 +1,4 @@
+/* -*-CSS-*- */
 div#data {
     position: absolute;
     top: 0%;
diff --git a/src/trace_js.ml.str b/src/trace_js.ml.str
index 382132a..4d17382 100644
--- a/src/trace_js.ml.str
+++ b/src/trace_js.ml.str
@@ -1,3 +1,4 @@
+// -*-Javascript-*-
 var old_timer = null;
 var old_node = null;