From e02ab9fb79d0c51e46f85279bd2a11cfb2f042d3 Mon Sep 17 00:00:00 2001 From: Tim van der Meij Date: Fri, 15 May 2015 19:58:34 +0200 Subject: [PATCH] Implement an option to disable automatic scrolling This adds a checkbox with which one can disable scrolling, for example to look back at output during testing. Note that the styles are inline because the test runner removes all