Merge pull request #522 from kzidane/console

fixed console resizing bug
This commit is contained in:
Dan Armendariz 2018-10-17 14:22:24 -07:00 committed by GitHub
commit c4d1c59dc8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -147,7 +147,7 @@ define(function(require, module, exports) {
// Track splitter and update state
var splitter = consoleRow.$handle;
splitter && splitter.on("dragdrop", function(e) {
height = Math.max(minHeight, container.height);
height = Math.max(minHeight, container.$ext.offsetHeight);
if (height)
settings.set("state/console/@height", height);
emit("resize");