diff options
Diffstat (limited to 'misc/yosysjs/yosysjs.js')
| -rw-r--r-- | misc/yosysjs/yosysjs.js | 7 |
1 files changed, 5 insertions, 2 deletions
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() { |