terminal: workaround for chrome weirdness when reloading

pull/1/head
Florian Sorg 3 years ago
parent 442b239b12
commit 160c006a28

@ -34,7 +34,9 @@
let current = 0; let current = 0;
let interval; let interval;
window.scrollTo({top: 0}); setTimeout(() => {
window.scrollTo({top: 0});
}, 10);
if (max > 0) { if (max > 0) {
setTimeout(() => { setTimeout(() => {

Loading…
Cancel
Save