Increase the size of the border of selected nodes in the html trace.

[tatoo.git] / src / html.ml

diff --git a/src/html.ml b/src/html.ml
index d592658..46d602c 100644 (file)
--- a/src/html.ml
+++ b/src/html.ml
@@ -50,8 +50,8 @@ let gen_trace (type s) = fun auto t tree ->
       let tag = QName.to_string (T.tag tree node) in
       let lbox = (String.length tag + 2) * 10 in
       let s_node = "node" ^ (string_of_int node_id) in
-      fprintf osvg "<rect id=\"%s\" onclick=\"activate(\'%s\');\" x=\"%i\" y=\"%i\" width=\"%i\" height=\"20\" style=\"fill:rgba(255,%i,%i,255);stroke-width:2;stroke:rgb(0,0,0)%s\"/>\n%!"
-        s_node s_node x y lbox color color (if marked then "" else ";stroke-dasharray:2,2");
+      fprintf osvg "<rect id=\"%s\" onclick=\"activate(\'%s\');\" x=\"%i\" y=\"%i\" width=\"%i\" height=\"20\" style=\"fill:rgba(255,%i,%i,255);stroke:rgb(0,0,0)%s\"/>\n%!"
+        s_node s_node x y lbox color color (if marked then ";stroke-width:4" else ";stroke-width:2;stroke-dasharray:2,2");
       fprintf osvg "<text x=\"%i\" y=\"%i\" style=\"font-size:17;font-family:typewriter;\" onclick=\"activate(\'%s\');\" >%s</text>\n" (x+10) (y+15) s_node tag;
       fprintf ohtml "data['%s'] = new Array();\n" s_node;
       M.iter