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: [PATCH] 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 720b82e9..36cc6cf4 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 a1181493..b0205bf6 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() {