From fd052625df312dbaf19f705d44bd36262b3cc19b Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijn@haverbeke.nl>
Date: Mon, 10 Apr 2017 22:19:32 +0200
Subject: [PATCH] [panel addon] Fix changed method of panels
Closes #4683
---
addon/display/panel.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/addon/display/panel.js b/addon/display/panel.js
index 74199ff0..f88d152b 100644
--- a/addon/display/panel.js
+++ b/addon/display/panel.js
@@ -66,7 +66,7 @@
Panel.prototype.changed = function(height) {
var newHeight = height == null ? this.node.offsetHeight : height;
var info = this.cm.state.panels;
- this.cm._setSize(null, info.height += (newHeight - this.height));
+ this.cm._setSize(null, info.heightLeft -= (newHeight - this.height));
this.height = newHeight;
};
--
GitLab