{list,segmenter}.js : use DOM instead of innerHTML (for pretty)

See #2436

browser/js/list.js

@@ -492,7 +492,8 @@ List.prototype = {
                 //update clone axis
                 var span_axis = div_elem.getElementsByClassName("axisBox")[0];
                 span_axis.style.color = clone.getColor();
-                span_axis.innerHTML = this.selectedAxis.pretty ? this.selectedAxis.pretty(this.selectedAxis.fct(clone)) : this.selectedAxis.fct(clone);
+                var axis = this.selectedAxis;
+                span_axis.appendChild(axis.pretty ? axis.pretty(axis.fct(clone)) : document.createTextNode(axis.fct(clone)));
                 // span_axis.setAttribute('title', clone.getPrintableSize());
 
                 //update cluster icon

browser/js/segmenter.js

@@ -627,7 +627,7 @@ Segment.prototype = {
         for (var i in this.selectedAxis) {
             var span = document.createElement('span');
             var axis = this.selectedAxis[i];
-            span.innerHTML = axis.pretty ? axis.pretty(axis.fct(clone)) : axis.fct(clone);
+            span.appendChild(axis.pretty ? axis.pretty(axis.fct(clone)) : document.createTextNode(axis.fct(clone)));
             span.setAttribute('title', this.selectedAxis[i].label);
             span.className = axOpts[i];
             axisBox.appendChild(span);