Fix whitespace.
This commit is contained in:
parent
f69dad39ed
commit
d0544a3511
@ -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…
Reference in New Issue
Block a user