From 6c94d69ea099eeb27ef83fe7a40acc3568c9de82 Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Mon, 9 Mar 2020 08:41:18 +0100
Subject: [PATCH] migrated sprite scaling

---
 src/objects.js | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/src/objects.js b/src/objects.js
index 0e15e469..0d8c5cc3 100644
--- a/src/objects.js
+++ b/src/objects.js
@@ -84,7 +84,7 @@ BlockEditorMorph, BlockDialogMorph, PrototypeHatBlockMorph,  BooleanSlotMorph,
 localize, TableMorph, TableFrameMorph, normalizeCanvas, VectorPaintEditorMorph,
 HandleMorph, AlignmentMorph, Process, XML_Element, WorldMap, copyCanvas*/
 
-modules.objects = '2020-March-05';
+modules.objects = '2020-March-09';
 
 var SpriteMorph;
 var StageMorph;
@@ -4616,11 +4616,11 @@ SpriteMorph.prototype.setScale = function (percentage, noShadow) {
     // set my (absolute) scale in percent
     var x = this.xPosition(),
         y = this.yPosition(),
-        isWarped = this.isWarped,
+        isWarped = this.isWarped, // +++ should be obsolete, remove
         realScale,
         growth;
 
-    if (isWarped) {
+    if (isWarped) { // +++ should be obsolete, remove
         this.endWarp();
     }
     realScale = (+percentage || 0) / 100;
@@ -4630,9 +4630,12 @@ SpriteMorph.prototype.setScale = function (percentage, noShadow) {
 
     // apply to myself
     this.changed();
-    this.drawNew();
-    this.changed();
-    if (isWarped) {
+    this.fixLayout();
+    this.rerender();
+    // +++ this.drawNew();
+    // +++ this.changed();
+
+    if (isWarped) { // should be obsolete, remove
         this.startWarp();
     }
     this.silentGotoXY(x, y, true); // just me