initial zoom blocks feature migration

pull/95/head
jmoenig 2020-03-22 19:34:16 +01:00
rodzic 91dda003a5
commit 165e2914f6
2 zmienionych plików z 5 dodań i 6 usunięć

Wyświetl plik

@ -5491,7 +5491,6 @@ IDE_Morph.prototype.userSetBlocksScale = function () {
*/
scrpt.blockSequence().forEach(function (block) {
block.setScale(num);
block.drawNew();
block.setSpec(block.blockSpec);
});
scrpt.changed();

Wyświetl plik

@ -85,7 +85,7 @@ HTMLCanvasElement, fontHeight, SymbolMorph, localize, SpeechBubbleMorph,
ArrowMorph, MenuMorph, isString, isNil, SliderMorph, MorphicPreferences,
ScrollFrameMorph, MenuItemMorph, Note*/
modules.widgets = '2020-March-12';
modules.widgets = '2020-March-22';
var PushButtonMorph;
var ToggleButtonMorph;
@ -1644,8 +1644,8 @@ DialogBoxMorph.prototype.prompt = function (
this.reactToChoice = function (inp) {
if (sld) {
sld.value = inp * 100;
sld.drawNew();
sld.changed();
sld.fixLayout();
sld.rerender();
}
if (sliderAction) {
sliderAction(inp);
@ -1657,8 +1657,8 @@ DialogBoxMorph.prototype.prompt = function (
if (sld) {
inp = Math.max(inp, sliderMin);
sld.value = inp * 100;
sld.drawNew();
sld.changed();
sld.fixLayout();
sld.rerender();
}
if (sliderAction) {
sliderAction(inp);