code: function resizeEditor(psize) {
      var force = false;
      if (psize === -1) {
        force = true;
        psize = max(10, editorSize || Number(localStorage.editorSize) || 50);
      } else {
        psize = psize % 100;
      }
      if (force || editorSize !== psize) {
        if (psize) { localStorage.editorSize = editorSize = psize; } // don't remember 0
        if (isLeftRight) {
          $('.left.col').css(  { width:  psize + '%', height: '100%' });
          $('.right.col').css( { width:  (100 - psize) + '%', height: '100%' });
          $('.handle').css( { left: psize + '%', top: '0' });
        } else {
          $('.top.row').css(   { height: psize + '%', width:  '100%' });
          $('.bottom.row').css({ height: 100 - psize + '%', width:  '100%' });
          $('.handle').css( { left: '0', top: ((psize / 100 * ($outer.clientHeight - 25)) + 25) + 'px' });
        }
      }
    }
docs: adjust editor window size between 0 and 100% 0 means hide -1 means restore last setting (or 50%)