From 9449a8a77e8743e70afea19fca6f8efd4f24f9ed Mon Sep 17 00:00:00 2001
From: Ralf Teusner <ralf.teusner@hpi.de>
Date: Tue, 15 Dec 2015 15:35:11 +0100
Subject: [PATCH] remove additional blank line

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

diff --git a/app/assets/javascripts/editor.js b/app/assets/javascripts/editor.js
index 4c9b834e..46461be0 100644
--- a/app/assets/javascripts/editor.js
+++ b/app/assets/javascripts/editor.js
@@ -408,6 +408,8 @@ $(function() {
       setActiveFile($(element).parent().data('filename'), file_id);
 
       document.insertLines(0, content.text().split(/\n/));
+      // remove last (empty) that is there by default line
+      document.removeLines(document.getLength()-1,document.getLength()-1);
       editor.setReadOnly($(element).data('read-only') !== undefined);
       editor.setShowPrintMargin(false);
       editor.setTheme(THEME);