From 78b991d760d52311c09287a2e20270c83c069b6c Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 19 Feb 2015 13:55:36 +0100
Subject: YosysJS firefox fixes
---
misc/yosysjs/demo03.html | 3 ---
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() {
--
cgit v1.2.3