fix editorWindowSize getting negative

pull/1/head
Michael Fröwis 8 years ago
parent 2ade443392
commit 355b05c5f7
  1. 1
      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()

Loading…
Cancel
Save