Use userSetSpec for var rename. Fixes #1448

2016-10-06 11:21:22 -05:00 · 2016-10-06 11:21:22 -05:00 · d45f84b632
commit d45f84b632
--- a/blocks.js
+++ b/blocks.js
@ -2332,7 +2332,7 @@ BlockMorph.prototype.userMenu = function () {
            function () {
                new DialogBoxMorph(
                    myself,
-                    myself.setSpec,
+                    myself.userSetSpec,
                    myself
                ).prompt(
                    "Variable name",