From 341cd3a003e3197f1b31035710b2bb257df0f8c5 Mon Sep 17 00:00:00 2001
From: Ralf Teusner <ralf.teusner@hpi.de>
Date: Fri, 7 Apr 2017 21:16:20 +0200
Subject: [PATCH] fix incomplete resizing of ace editors by triggering a resize
 event

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

diff --git a/app/assets/javascripts/editor/editor.js.erb b/app/assets/javascripts/editor/editor.js.erb
index 98c8a714..75c09bb4 100644
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@@ -172,6 +172,7 @@ configureEditors: function () {
     $('.editor').each(function (index, element) {
       this.resizeParentOfAceEditor(element);
     }.bind(this));
+    window.dispatchEvent(new Event('resize'));
   },
 
   resizeParentOfAceEditor: function (element){