aboutsummaryrefslogtreecommitdiffstats
path: root/misc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-02-19 13:55:36 +0100
committerClifford Wolf <clifford@clifford.at>2015-02-19 13:55:36 +0100
commit78b991d760d52311c09287a2e20270c83c069b6c (patch)
treef0de9a2b3c2b592e1825a27aadf86b3dd7fc9bb8 /misc
parente0e6d130cd083a8285ea2991629e0049023da234 (diff)
downloadyosys-78b991d760d52311c09287a2e20270c83c069b6c.tar.gz
yosys-78b991d760d52311c09287a2e20270c83c069b6c.tar.bz2
yosys-78b991d760d52311c09287a2e20270c83c069b6c.zip
YosysJS firefox fixes
Diffstat (limited to 'misc')
-rw-r--r--misc/yosysjs/demo03.html3
-rw-r--r--misc/yosysjs/yosysjs.js7
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() {