From 355b05c5f7cc12e5d0ba9e9a68e2ef53fc458a22 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michael=20Fr=C3=B6wis?= <mfrowis@localhost.localdomain>
Date: Tue, 14 Mar 2017 10:00:34 +0100
Subject: [PATCH] fix editorWindowSize getting negative

---
 src/app.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/app.js b/src/app.js
index 79a7143db5..75858c019a 100644
--- a/src/app.js
+++ b/src/app.js
@@ -462,6 +462,7 @@ var run = function () {
       $('#ghostbar').remove()
       $(document).unbind('mousemove')
       dragging = false
+      delta = (delta<50)?50:delta
       setEditorSize(delta)
       config.set(EDITOR_WINDOW_SIZE, delta)
       reAdjust()