src/view/WorkspaceManager.js
function updateResizeLimits() {
        var editorAreaHeight = $editorHolder.height();

        $editorHolder.siblings().each(function (i, elem) {
            var $elem = $(elem);
            if ($elem.css("display") === "none") {
                $elem.data("maxsize", editorAreaHeight);
            } else {
                $elem.data("maxsize", editorAreaHeight + $elem.outerHeight());
            }
        });
    }
function updateResizeLimits() {
        var editorAreaHeight = $editorHolder.height();

        $editorHolder.siblings().each(function (i, elem) {
            var $elem = $(elem);
            if ($elem.css("display") === "none") {
                $elem.data("maxsize", editorAreaHeight);
            } else {
                $elem.data("maxsize", editorAreaHeight + $elem.outerHeight());
            }
        });
    }
function updateResizeLimits ( ) { var editorAreaHeight = $editorHolder . height ( ) ; $editorHolder . siblings ( ) . each ( function ( i , elem ) { var $elem = $ ( elem ) ; if ( $elem . css ( "display" ) === "none" ) { $elem . data ( "maxsize" , editorAreaHeight ) ; } else { $elem . data ( "maxsize" , editorAreaHeight + $elem . outerHeight ( ) ) ; } } ) ; }
Updates panel resize limits to disallow making panels big enough to shrink editor area below 0
Updates panel resize limits to disallow making panels big enough to shrink editor area below 0