diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-02-19 13:55:36 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-02-19 13:55:36 +0100 |
| commit | 78b991d760d52311c09287a2e20270c83c069b6c (patch) | |
| tree | f0de9a2b3c2b592e1825a27aadf86b3dd7fc9bb8 /misc | |
| parent | e0e6d130cd083a8285ea2991629e0049023da234 (diff) | |
| download | yosys-78b991d760d52311c09287a2e20270c83c069b6c.tar.gz yosys-78b991d760d52311c09287a2e20270c83c069b6c.tar.bz2 yosys-78b991d760d52311c09287a2e20270c83c069b6c.zip | |
YosysJS firefox fixes
Diffstat (limited to 'misc')
| -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() { |