fixed an occasional rendering glitch when changing the display style of a variable watcher

HISTORY.md

@@ -5,6 +5,10 @@
     * speed-up  talk bubble positioning by 5x
 * **Notable Fixes:**
     * work around a floating point precision glitch in "ray length"
+    * fixed an occasional rendering glitch when changing the display style of a variable watcher
+
+### 2021-04-17
+* objects: fixed an occasional rendering glitch when changing the display style of a variable watcher 
 
 ### 2021-04-17
 * new dev version

snap.html

@@ -10,7 +10,7 @@
         <script src="src/widgets.js?version=2021-01-05"></script>
         <script src="src/blocks.js?version=2021-02-27"></script>
         <script src="src/threads.js?version=2021-04-17"></script>
-        <script src="src/objects.js?version=2021-04-17"></script>
+        <script src="src/objects.js?version=2021-04-20"></script>
         <script src="src/gui.js?version=2021-04-17"></script>
         <script src="src/paint.js?version=2020-05-17"></script>
         <script src="src/lists.js?version=2021-03-15"></script>

src/objects.js

@@ -84,7 +84,7 @@ BlockEditorMorph, BlockDialogMorph, PrototypeHatBlockMorph,  BooleanSlotMorph,
 localize, TableMorph, TableFrameMorph, normalizeCanvas, VectorPaintEditorMorph,
 AlignmentMorph, Process, WorldMap, copyCanvas, useBlurredShadows*/
 
-modules.objects = '2021-April-17';
+modules.objects = '2021-April-20';
 
 var SpriteMorph;
 var StageMorph;
@@ -12030,7 +12030,9 @@ WatcherMorph.prototype.parseTxt = function () {
 
 WatcherMorph.prototype.setStyle = function (style) {
     this.style = style;
+    this.changed();
     this.fixLayout();
+    this.rerender();
 };
 
 WatcherMorph.prototype.styleNormal = function () {