mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-06 06:03:23 +00:00
Code Activity

YosysJS firefox fixes

Browse source
This commit is contained in:
Clifford Wolf 2015-02-19 13:55:36 +01:00
parent e0e6d130cd
commit 78b991d760
2 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

7
misc/yosysjs/yosysjs.js
View file

@ -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() {