diff --git a/src/byob.js b/src/byob.js index 1727f576..0b954cb4 100644 --- a/src/byob.js +++ b/src/byob.js @@ -108,7 +108,7 @@ BooleanSlotMorph, XML_Serializer, SnapTranslator*/ // Global stuff //////////////////////////////////////////////////////// -modules.byob = '2020-March-31'; +modules.byob = '2020-April-04'; // Declarations @@ -2026,6 +2026,10 @@ BlockDialogMorph.prototype.fixLayout = function () { this.buttons.setCenter(this.center()); this.buttons.setBottom(this.bottom() - this.padding); } + + // refresh a shallow shadow + this.removeShadow(); + this.addShadow(); }; BlockDialogMorph.prototype.accept = function () { @@ -2442,6 +2446,10 @@ BlockEditorMorph.prototype.fixLayout = function () { this.buttons.setCenter(this.center()); this.buttons.setBottom(this.bottom() - this.padding); } + + // refresh a shallow shadow + this.removeShadow(); + this.addShadow(); }; // PrototypeHatBlockMorph ///////////////////////////////////////////// @@ -3245,6 +3253,10 @@ InputSlotDialogMorph.prototype.fixLayout = function () { // set dialog box dimensions: this.bounds.setHeight(this.buttons.bottom() - this.top() + this.padding); this.bounds.setWidth(this.slots.right() - this.left() + this.padding); + + // refresh a shallow shadow + this.removeShadow(); + this.addShadow(); }; InputSlotDialogMorph.prototype.open = function ( @@ -3871,6 +3883,10 @@ VariableDialogMorph.prototype.fixLayout = function () { this.buttons.setCenter(this.center()); this.buttons.setBottom(this.bottom() - this.padding); } + + // refresh a shallow shadow + this.removeShadow(); + this.addShadow(); }; // BlockExportDialogMorph //////////////////////////////////////////////////// diff --git a/src/widgets.js b/src/widgets.js index a977ce37..854b4188 100644 --- a/src/widgets.js +++ b/src/widgets.js @@ -85,7 +85,7 @@ HTMLCanvasElement, fontHeight, SymbolMorph, localize, SpeechBubbleMorph, ArrowMorph, MenuMorph, isString, isNil, SliderMorph, MorphicPreferences, ScrollFrameMorph, MenuItemMorph, Note*/ -modules.widgets = '2020-March-22'; +modules.widgets = '2020-April-04'; var PushButtonMorph; var ToggleButtonMorph;