From 74eecb81869bdf9bd39d4b3028f0465b5c416209 Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Tue, 20 Apr 2021 09:17:28 +0200
Subject: [PATCH] fixed an occasional rendering glitch when changing the
 display style of a variable watcher

---
 HISTORY.md     | 4 ++++
 snap.html      | 2 +-
 src/objects.js | 4 +++-
 3 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/HISTORY.md b/HISTORY.md
index 8c75d651..39c2c0bb 100755
--- a/HISTORY.md
+++ b/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
diff --git a/snap.html b/snap.html
index 4f251db9..8f7157c2 100755
--- a/snap.html
+++ b/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>
diff --git a/src/objects.js b/src/objects.js
index d0f46a3d..ba1761de 100644
--- a/src/objects.js
+++ b/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 () {