Add a few new internal configs to the node config

This commit is contained in:
Dane Everitt 2018-02-18 20:39:43 -06:00
parent 0341dbdfad
commit e7e50bc45d
No known key found for this signature in database
GPG key ID: EEA66103B3D71F53
2 changed files with 12 additions and 2 deletions

View file

@ -151,14 +151,14 @@ function pushToTerminal(string) {
if (TerminalQueue.length > 0) {
var scrolledDown = isTerminalScrolledDown();
for (var i = 0; i < CONSOLE_PUSH_COUNT && TerminalQueue.length > 0; i++) {
pushToTerminal(TerminalQueue[0]);
window.ConsoleElements++;
TerminalQueue.shift();
}
if (scrolledDown) {
window.scrollToBottom();
} else if ($scrollNotify.hasClass('hidden')) {