From 9de53e8ba6e3eea32bbde7a740f652b5c05d6fb4 Mon Sep 17 00:00:00 2001 From: jmoenig Date: Mon, 20 Apr 2020 17:25:36 +0200 Subject: [PATCH] fixed layout update for input slots --- src/blocks.js | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/src/blocks.js b/src/blocks.js index 4c664ab9..684ef22b 100644 --- a/src/blocks.js +++ b/src/blocks.js @@ -9275,7 +9275,8 @@ InputSlotMorph.prototype.setChoices = function (dict, readonly) { InputSlotMorph.prototype.fixLayout = function () { var width, height, arrowWidth, contents = this.contents(), - arrow = this.arrow(); + arrow = this.arrow(), + tp = this.topBlock(); contents.isNumeric = this.isNumeric; contents.isEditable = (!this.isReadOnly); @@ -9344,10 +9345,10 @@ InputSlotMorph.prototype.fixLayout = function () { )); } - if (this.parent) { - if (this.parent.fixLayout) { - this.parent.fixLayout(); - } + if (this.parent && this.parent.fixLayout) { + tp.fullChanged(); + this.parent.fixLayout(); + tp.fullChanged(); } };