more minor migrations

pull/95/head
jmoenig 2020-04-05 09:42:04 +02:00
rodzic b7791286b8
commit 5feb2825c3
1 zmienionych plików z 2 dodań i 3 usunięć

Wyświetl plik

@ -2154,7 +2154,7 @@ BlockEditorMorph.prototype.popUp = function () {
this.corner,
this.corner
);
world.keyboardReceiver = null;
world.keyboardFocus = null;
}
};
@ -2824,8 +2824,7 @@ BlockLabelFragmentMorph.prototype.userMenu = function () {
myself.text = tuple.join('-');
myself.fragment.labelString = myself.text;
myself.parent.parent.changed();
myself.drawNew();
myself.changed();
myself.fixLayout();
myself.parent.parent.fixLayout();
myself.parent.parent.changed();
},