fixed refactored "Delete a variable" button for stage palette

HISTORY.md

@@ -25,6 +25,7 @@
 
 ### 2021-07-12
 * Chinese translation update, thanks, Simon!
+* objects: fixed refactored "Delete a variable" button for stage palette
 
 ### 2021-07-11
 * added libraries and media to cache, thanks, Joan!

snap.html

@@ -18,7 +18,7 @@
         <script src="src/widgets.js?version=2021-07-05"></script>
         <script src="src/blocks.js?version=2021-07-05"></script>
         <script src="src/threads.js?version=2021-07-09"></script>
-        <script src="src/objects.js?version=2021-07-09"></script>
+        <script src="src/objects.js?version=2021-07-12"></script>
         <script src="src/scenes.js?version=2021-07-06"></script>
         <script src="src/gui.js?version=2021-07-09"></script>
         <script src="src/paint.js?version=2021-07-05"></script>

src/objects.js

@@ -86,7 +86,7 @@ AlignmentMorph, Process, WorldMap, copyCanvas, useBlurredShadows*/
 
 /*jshint esversion: 6*/
 
-modules.objects = '2021-July-09';
+modules.objects = '2021-July-12';
 
 var SpriteMorph;
 var StageMorph;
@@ -9524,6 +9524,10 @@ StageMorph.prototype.inheritedVariableNames = function () {
     return [];
 };
 
+StageMorph.prototype.deletableVariableNames = function () {
+    return this.variables.allNames();
+};
+
 StageMorph.prototype.allLocalVariableNames
 	= SpriteMorph.prototype.allLocalVariableNames;