Merge pull request #458 from soad003/master

editorWindowSize can get negative. RHS bar not usable anymore.
pull/1/head
chriseth 8 years ago committed by GitHub
commit c3f2b56ccc
  1. 1
      src/app.js

@ -462,6 +462,7 @@ var run = function () {
$('#ghostbar').remove() $('#ghostbar').remove()
$(document).unbind('mousemove') $(document).unbind('mousemove')
dragging = false dragging = false
delta = (delta < 50) ? 50 : delta
setEditorSize(delta) setEditorSize(delta)
config.set(EDITOR_WINDOW_SIZE, delta) config.set(EDITOR_WINDOW_SIZE, delta)
reAdjust() reAdjust()

Loading…
Cancel
Save