Commit 17a810e0 authored by Michael Fröwis's avatar Michael Fröwis

fix editorWindowSize getting negative

parent 355b05c5
...@@ -462,7 +462,7 @@ var run = function () { ...@@ -462,7 +462,7 @@ var run = function () {
$('#ghostbar').remove() $('#ghostbar').remove()
$(document).unbind('mousemove') $(document).unbind('mousemove')
dragging = false dragging = false
delta = (delta<50)?50:delta delta = (delta < 50) ? 50 : delta
setEditorSize(delta) setEditorSize(delta)
config.set(EDITOR_WINDOW_SIZE, delta) config.set(EDITOR_WINDOW_SIZE, delta)
reAdjust() reAdjust()
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment