scroll long tracebacks to the bottom

since that's usually where the most important info is
pull/1064/head
Min RK 10 years ago
parent 61d2958f02
commit 94986bfd6a

@ -17,4 +17,8 @@ div.traceback-wrapper {
text-align: left;
max-width: 800px;
margin: auto;
pre.traceback {
max-height: 600px;
overflow: auto;
}
}

@ -29,3 +29,14 @@ div#header, div#site {
</header>
{% endblock %}
{% block script %}
{{super()}}
<script type='text/javascript'>
require(['jquery'], function($) {
// scroll long tracebacks to the bottom
var tb = $(".traceback")[0];
tb.scrollTop = tb.scrollHeight;
});
</script>
{% endblock script %}

Loading…
Cancel
Save