From 355b05c5f7cc12e5d0ba9e9a68e2ef53fc458a22 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michael=20Fr=C3=B6wis?= Date: Tue, 14 Mar 2017 10:00:34 +0100 Subject: [PATCH 1/2] fix editorWindowSize getting negative --- src/app.js | 1 + 1 file changed, 1 insertion(+) diff --git a/src/app.js b/src/app.js index 79a7143db50..75858c019a5 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() From 17a810e011371e9d35bccbd84b5deb8286747bab Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michael=20Fr=C3=B6wis?= Date: Tue, 14 Mar 2017 10:03:16 +0100 Subject: [PATCH 2/2] fix editorWindowSize getting negative --- src/app.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/app.js b/src/app.js index 75858c019a5..53419ea67ee 100644 --- a/src/app.js +++ b/src/app.js @@ -462,7 +462,7 @@ var run = function () { $('#ghostbar').remove() $(document).unbind('mousemove') dragging = false - delta = (delta<50)?50:delta + delta = (delta < 50) ? 50 : delta setEditorSize(delta) config.set(EDITOR_WINDOW_SIZE, delta) reAdjust()