From 22f564fb392fd71207e19cc862c0a18c34d1c2c0 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Sun, 8 Dec 2013 17:20:37 +0100
Subject: [PATCH] Cosmetic changes (whitespaces) and add comments at the top of
 the .str files to load the correct emacs-mode when editing.

---
 src/html_trace.ml    | 12 ++++++------
 src/trace_css.ml.str |  1 +
 src/trace_js.ml.str  |  1 +
 3 files changed, 8 insertions(+), 6 deletions(-)

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;
 
-- 
2.17.1