From 6100377369703869457e3dc5a1337a0afce010e4 Mon Sep 17 00:00:00 2001 From: jmoenig Date: Wed, 2 Dec 2020 08:27:10 +0100 Subject: [PATCH] make sure to fix new slots' layouts --- src/blocks.js | 1 + 1 file changed, 1 insertion(+) diff --git a/src/blocks.js b/src/blocks.js index c3456626..9ed91652 100644 --- a/src/blocks.js +++ b/src/blocks.js @@ -1682,6 +1682,7 @@ SyntaxElementMorph.prototype.labelPart = function (spec) { } } }); + part.fixLayout(); } } else if (spec[0] === '$' && spec.length > 1 &&