From 6c353d611db84c1bb922946d4475fe4f364ec775 Mon Sep 17 00:00:00 2001
From: Ralf Teusner <ralf.teusner@hpi.de>
Date: Tue, 6 Jun 2017 13:34:42 +0200
Subject: [PATCH] make output scroll again!

---
 app/assets/javascripts/editor/editor.js.erb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/assets/javascripts/editor/editor.js.erb b/app/assets/javascripts/editor/editor.js.erb
index 75c09bb4..2ac499c4 100644
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@@ -91,7 +91,7 @@ configureEditors: function () {
   showOutput: function(event) {
     event.preventDefault();
     this.showOutputBar();
-    $('#output').scrollTo($(event.target).attr('href'));
+    $('body').scrollTo($(event.target).attr('href'));
   },
 
   renderProgressBar: function(score, maximum_score) {