Learn more about these different git repos.
Other Git URLs
2fd6100
@@ -282,7 +282,7 @@
$('#_' + i).parent().parent().addClass(cls);
}
setTimeout(function(){
- $("#_" + lines[0]).get(0).scrollIntoView({behavior: "smooth", block: "start", inline: "nearest"});
+ $("#_" + lines[0]).get(0).scrollIntoView({behavior: "instant", block: "start", inline: "nearest"});
}, 50);
});
Fixes #4187
:thumbsup:
rebased onto 2fd6100
Pull-Request has been merged by pingou
Fixes #4187