|
@@ -417,7 +417,12 @@ class OutputAreaWidget extends Widget {
|
|
|
let rect = this.node.getBoundingClientRect();
|
|
|
let oldHeight = this.node.style.minHeight;
|
|
|
this.node.style.minHeight = `${rect.height}px`;
|
|
|
- setTimeout(() => { this.node.style.minHeight = oldHeight; }, 50);
|
|
|
+ setTimeout(() => {
|
|
|
+ if (this.isDisposed) {
|
|
|
+ return;
|
|
|
+ }
|
|
|
+ this.node.style.minHeight = oldHeight;
|
|
|
+ }, 50);
|
|
|
|
|
|
let oldValues = args.oldValue as nbformat.IOutput[];
|
|
|
for (let i = args.oldIndex; i < oldValues.length; i++) {
|