From 49185ec27f4bcd0da91b94275db39af1f61da844 Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Tue, 9 Nov 2021 17:55:25 +0100
Subject: [PATCH] tweaked toggles with draggable buttons

---
 snap.html      | 2 +-
 src/byob.js    | 2 ++
 src/widgets.js | 5 +++--
 3 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/snap.html b/snap.html
index 73cb3bb7..076ff6e8 100755
--- a/snap.html
+++ b/snap.html
@@ -15,7 +15,7 @@
         <meta name="msapplication-TileColor" content="#FFFFFF">
         <script src="src/morphic.js?version=2021-07-09"></script>
         <script src="src/symbols.js?version=2021-03-03"></script>
-        <script src="src/widgets.js?version=2021-17-07"></script>
+        <script src="src/widgets.js?version=2021-17-09"></script>
         <script src="src/blocks.js?version=2021-11-09"></script>
         <script src="src/threads.js?version=2021-11-08"></script>
         <script src="src/objects.js?version=2021-11-09"></script>
diff --git a/src/byob.js b/src/byob.js
index 3b658413..a1743812 100644
--- a/src/byob.js
+++ b/src/byob.js
@@ -4193,6 +4193,7 @@ BlockExportDialogMorph.prototype.buildContents = function () {
                 }
                 lastCat = category;
                 block = definition.templateInstance();
+                block.isToggleLabel = true; // mark as unrefreshable label
                 checkBox = new ToggleMorph(
                     'checkbox',
                     this,
@@ -4565,6 +4566,7 @@ BlockVisibilityDialogMorph.prototype.buildContents = function () {
         }
         lastCat = block.category;
 
+        block.isToggleLabel = true; // mark block as unrefreshable toggle label
         checkBox = new ToggleMorph(
             'checkbox',
             this,
diff --git a/src/widgets.js b/src/widgets.js
index 1da38238..99350d41 100644
--- a/src/widgets.js
+++ b/src/widgets.js
@@ -87,7 +87,7 @@ ScrollFrameMorph, MenuItemMorph, useBlurredShadows, getDocumentPositionOf*/
 
 /*jshint esversion: 6*/
 
-modules.widgets = '2021-November-07';
+modules.widgets = '2021-November-09';
 
 var PushButtonMorph;
 var ToggleButtonMorph;
@@ -1253,7 +1253,8 @@ ToggleMorph.prototype.refresh = function () {
     } else {
         this.tick.hide();
     }
-    if (this.toggleElement && this.toggleElement.refresh) {
+    if (this.toggleElement && this.toggleElement.refresh &&
+            !this.toggleElement.isToggleLabel) {
         this.toggleElement.refresh();
     }
 };