Quick Fix: Increase margin in calculateEditorHeight

In some cases, the left sidebar was too high, causing an undesired scroll bar to be displayed. We increase the magic number to hide the scrollbar in more cases.

This is not a proper solution, but enough to hide the scroll bars once again. We need to investigate further.

Author: MrSerth

app/assets/javascripts/editor/editor.js

@@ -242,8 +242,8 @@ var CodeOceanEditor = {
         }
 
         const bottom = considerStatusbar ? ($('#statusbar').height() || 0) : 0;
-        // calculate needed size: window height - position of top of ACE editor - height of autosave label below editor - 5 for bar margins
-        return window.innerHeight - jqueryElement.offset().top - bottom - 5;
+        // calculate needed size: window height - position of top of ACE editor - height of autosave label below editor - 7 for bar margins
+        return window.innerHeight - jqueryElement.offset().top - bottom - 7;
     },
 
     resizeParentOfAceEditor: function (element) {