From 7a21f1f9b47830bf46a09ac907f5edb5379e0448 Mon Sep 17 00:00:00 2001 From: Danny Yoo Date: Fri, 8 Mar 2013 16:49:27 -0700 Subject: [PATCH] breaking appears to be doing a little better now. --- whalesong/repl-prototype/htdocs/index.html | 2 +- whalesong/repl-prototype/htdocs/repl.js | 6 ++++-- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/whalesong/repl-prototype/htdocs/index.html b/whalesong/repl-prototype/htdocs/index.html index 89259f2..2133991 100644 --- a/whalesong/repl-prototype/htdocs/index.html +++ b/whalesong/repl-prototype/htdocs/index.html @@ -8,7 +8,7 @@

Repl experiment

-
+

diff --git a/whalesong/repl-prototype/htdocs/repl.js b/whalesong/repl-prototype/htdocs/repl.js index 3fb615a..67ea19e 100644 --- a/whalesong/repl-prototype/htdocs/repl.js +++ b/whalesong/repl-prototype/htdocs/repl.js @@ -15,10 +15,12 @@ $(document).ready(function() { // We configure output to send it to the "output" DOM node. M.params.currentDisplayer = function(MACHINE, domNode) { $(domNode).appendTo(output); - } + output.get(0).scrollTop = output.get(0).scrollHeight; + }; M.params.currentErrorDisplayer = function(MACHINE, domNode) { $(domNode).css("color", "red").appendTo(output); - } + output.get(0).scrollTop = output.get(0).scrollHeight; + }; // We then want to initialize the language module.