Fix bugs in Sodium

tools/sodium/sodium.js

 // Copyright 2013 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 324 matching lines @@
     var sourceText = getCurrentSourceText();
     processLines(sourceText, sourceText.length, processOneLine);
     return line;
   }
 
   function functionChangedHandler() {
     var functionSelect = document.getElementById('function-selector-id');
     var source = getCurrentSourceText();
     var sourceDivElement = document.getElementById('source-text');
     var code = getCurrentCodeObject();
-    var newHtml = "<pre class=\"prettyprint linenums\" id=\"source-text\">"
-      + 'function ' + code.name + source + "</pre>";
-    sourceDivElement.innerHTML = newHtml;
+
+    var new_pre = document.createElement("pre");
+    new_pre.classList.add('prettyprint');
+    new_pre.classList.add('linenums');
+    new_pre.id = 'source-text-pre';
+    new_pre.textContent = 'function ' + code.name + source;
+    sourceDivElement.replaceChild(new_pre, sourceDivElement.firstChild);
+
     try {
       // Wrap in try to work when offline.
       PR.prettyPrint();
     } catch (e) {
     }
     var sourceLineContainer = sourceDivElement.firstChild.firstChild;
     var lineCount = sourceLineContainer.childElementCount;
     var current = sourceLineContainer.firstChild;
     for (var i = 1; i < lineCount; ++i) {
       current.id = "source-line-" + i;
@@ skipping 42 matching lines @@
   return {
     buildFunctionKindSelector: buildFunctionKindSelector,
     kindChangedHandler: kindChangedHandler,
     functionChangedHandler: functionChangedHandler,
     asmClick: asmClick,
     addressClick: addressClick,
     readLog: readLog
   };
 
 })();