From 3af82905d308e9ee433b6316c55fd821730b21f9 Mon Sep 17 00:00:00 2001
From: Kareem Zidane <kzidane@cs50.harvard.edu>
Date: Sat, 6 Oct 2018 07:14:21 -0400
Subject: [PATCH] fixed console resizing bug

---
 plugins/c9.ide.console/console.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/c9.ide.console/console.js b/plugins/c9.ide.console/console.js
index 81e15dbb..3c36865f 100644
--- a/plugins/c9.ide.console/console.js
+++ b/plugins/c9.ide.console/console.js
@@ -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");