diff options
Diffstat (limited to 'misc/yosysjs')
-rw-r--r-- | misc/yosysjs/demo03.html | 3 | ||||
-rw-r--r-- | misc/yosysjs/yosysjs.js | 7 |
2 files changed, 5 insertions, 5 deletions
diff --git a/misc/yosysjs/demo03.html b/misc/yosysjs/demo03.html index 720b82e90..36cc6cf4a 100644 --- a/misc/yosysjs/demo03.html +++ b/misc/yosysjs/demo03.html @@ -58,7 +58,6 @@ endmodule</span></pre><p/> } else { wdata = ys.read_file('wave.json'); if (wdata) { - console.log(wdata) wdata = JSON.parse(wdata); function wsignal(signame, newname) { for (i = 0; i < wdata["signal"].length; i++) @@ -81,7 +80,6 @@ endmodule</span></pre><p/> "config" : wdata["config"] }; wdata2 = JSON.stringify(wdata2) - console.log(wdata2) w.innerHTML = '<b>The model did not pass verification:</b><p/>' + '<script type="WaveDrom">' + wdata2 + '<\/script>'; WaveDrom.ProcessAll(); @@ -98,6 +96,5 @@ endmodule</span></pre><p/> YosysJS.load_viz(); var ys = YosysJS.create('', on_ys_ready); ys.logprint = true; - ys.echo = true; </script> </body></html> diff --git a/misc/yosysjs/yosysjs.js b/misc/yosysjs/yosysjs.js index a1181493e..b0205bf61 100644 --- a/misc/yosysjs/yosysjs.js +++ b/misc/yosysjs/yosysjs.js @@ -137,8 +137,11 @@ var YosysJS = new function() { span.textContent = text + "\n"; span.style.fontFamily = 'monospace'; span.style.whiteSpace = 'pre'; - doc.body.appendChild(span); - ys.window.scrollTo(0, doc.body.scrollHeight) + doc.firstChild.appendChild(span); + if (doc.body) + ys.window.scrollTo(0, doc.body.scrollHeight); + else + ys.window.scrollBy(0, 100); } ys.prompt = function() { |