From e273bfa012b2f229c7c71fd652e834ee8c77d73c Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Fri, 8 May 2020 23:43:38 +0200
Subject: [PATCH] fixed block highlight thread counter updating glitch

---
 src/blocks.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/blocks.js b/src/blocks.js
index 164dbe7c..6323b7e7 100644
--- a/src/blocks.js
+++ b/src/blocks.js
@@ -148,7 +148,7 @@ CustomCommandBlockMorph, SymbolMorph, ToggleButtonMorph, DialMorph*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.blocks = '2020-May-04';
+modules.blocks = '2020-May-08';
 
 var SyntaxElementMorph;
 var BlockMorph;
@@ -10739,6 +10739,7 @@ BlockHighlightMorph.prototype.updateReadout = function () {
         return;
     }
     if (readout) {
+        readout.changed();
         readout.contents = this.threadCount.toString();
         readout.fixLayout();
         readout.rerender();