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\">"
+    var newHtml = "<pre class=\"prettyprint linenums\" id=\"source-text-pre\">"

[Dmitry Lomov (no reviews), 2013/10/23 09:06:50]

Construct this with createElement instead of HTML string?

       + 'function ' + code.name + source + "</pre>";
     sourceDivElement.innerHTML = newHtml;
     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;
@@ skipping 44 matching lines @@
   return {
     buildFunctionKindSelector: buildFunctionKindSelector,
     kindChangedHandler: kindChangedHandler,
     functionChangedHandler: functionChangedHandler,
     asmClick: asmClick,
     addressClick: addressClick,
     readLog: readLog
   };
 
 })();