Merge branch 'master' into scenes

HISTORY.md

@@ -2,8 +2,15 @@
 
 ## in development:
 
+* **Notable Fixes:**
+    * repeat stops when encountering a non-numerical counter input, thanks, Stefan!
+    * updated list-utilities library, thanks, Brian!
+
 ### 2021-03-17
 * objects, gui, paint, sketch, store: de-globalized stage dimensions 
+* new dev version
+* threads fixed repeat for non-numbers, thanks Stefan!
+* updated list-utilities library, thanks, Brian!
 
 ## 6.7.2
 * **Notable Changes:**

snap.html

@@ -9,9 +9,9 @@
         <script src="src/symbols.js?version=2021-03-03"></script>
         <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-03-15"></script>
+        <script src="src/threads.js?version=2021-03-17"></script>
         <script src="src/objects.js?version=2021-03-17"></script>
-        <script src="src/scenes.js?version=2021-03-12"></script>
+        <script src="src/scenes.js?version=2021-03-17"></script>
         <script src="src/gui.js?version=2021-03-17"></script>
         <script src="src/paint.js?version=2021-03-17"></script>
         <script src="src/lists.js?version=2021-03-15"></script>

src/threads.js

@@ -61,7 +61,7 @@ StageMorph, SpriteMorph, StagePrompterMorph, Note, modules, isString, copy, Map,
 isNil, WatcherMorph, List, ListWatcherMorph, alert, console, TableMorph, BLACK,
 TableFrameMorph, ColorSlotMorph, isSnapObject, newCanvas, Symbol, SVG_Costume*/
 
-modules.threads = '2021-March-15';
+modules.threads = '2021-March-17';
 
 var ThreadManager;
 var Process;
@@ -2535,7 +2535,8 @@ Process.prototype.doRepeat = function (counter, body) {
         outer = this.context.outerContext, // for tail call elimination
         isCustomBlock = this.context.isCustomBlock;
 
-    if (counter < 1) { // was '=== 0', which caused infinite loops on non-ints
+    if (isNaN(counter) || counter < 1) { 
+	// was '=== 0', which caused infinite loops on non-ints
         return null;
     }
     this.popContext();