From c3cdd43730b9fc3ba0e1b4827fd63f5430c28f87 Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Tue, 28 Jul 2020 13:25:38 +0200
Subject: [PATCH] tweaked stack-highlight for (partially) faded blocks

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

diff --git a/HISTORY.md b/HISTORY.md
index 2556629c..79c69877 100755
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -33,6 +33,9 @@
 * **Translation Updates:**
     * German
 
+### 2020-07-28
+* blocks: tweaked stack-highlight for (partially) faded blocks
+
 ### 2020-07-27
 * threads: fixed binding contexts to other receivers (variable scope for ASK / TELL)
 * gui: updated "About Snap!" dialog box
diff --git a/snap.html b/snap.html
index 8cbc8cad..8f24a894 100755
--- a/snap.html
+++ b/snap.html
@@ -7,7 +7,7 @@
         <script src="src/morphic.js?version=2020-07-23"></script>
         <script src="src/symbols.js?version=2020-07-21"></script>
         <script src="src/widgets.js?version=2020-07-27"></script>
-        <script src="src/blocks.js?version=2020-07-27"></script>
+        <script src="src/blocks.js?version=2020-07-28"></script>
         <script src="src/threads.js?version=2020-07-27"></script>
         <script src="src/objects.js?version=2020-07-26"></script>
         <script src="src/gui.js?version=2020-07-27"></script>
diff --git a/src/blocks.js b/src/blocks.js
index e2e1fa16..5b9383da 100644
--- a/src/blocks.js
+++ b/src/blocks.js
@@ -158,7 +158,7 @@ CustomCommandBlockMorph, SymbolMorph, ToggleButtonMorph, DialMorph*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.blocks = '2020-July-27';
+modules.blocks = '2020-July-28';
 
 var SyntaxElementMorph;
 var BlockMorph;
@@ -4165,6 +4165,9 @@ BlockMorph.prototype.addHighlight = function (oldHighlight) {
         highlight;
 
     if (isHidden) {this.show(); }
+    if (SyntaxElementMorph.prototype.alpha < 1) {
+        this.clearAlpha();
+    }
     highlight = this.highlight(
         oldHighlight ? oldHighlight.color : this.activeHighlight,
         this.activeBlur,