Browse Source

Fix whitespace.

Rob Sayre 14 years ago
parent
commit
cfcac65de4
  1. 3
      test/test_slave.html

3
test/test_slave.html

@ -200,8 +200,7 @@ function clear(ctx) {
ctx.restore(); ctx.restore();
} }
/* Auto-scroll if the scrollbar is near the bottom, otherwise do /* Auto-scroll if the scrollbar is near the bottom, otherwise do nothing. */
nothing. */
function checkScrolling() { function checkScrolling() {
if ((stdout.scrollHeight - stdout.scrollTop) <= stdout.offsetHeight) { if ((stdout.scrollHeight - stdout.scrollTop) <= stdout.offsetHeight) {
stdout.scrollTop = stdout.scrollHeight; stdout.scrollTop = stdout.scrollHeight;

Loading…
Cancel
Save