ensure unique names when renaming costumes

2 files changed, 3 insertions, 2 deletions

diff --git a/gui.js b/gui.js
index 5990a2b..5bccd6d 100644
--- a/gui.js
+++ b/gui.js
@@ -5533,12 +5533,13 @@ CostumeIconMorph.prototype.editRotationPointOnly = function () {
 
 CostumeIconMorph.prototype.renameCostume = function () {
     var costume = this.object,
+        wardrobe = this.parentThatIsA(WardrobeMorph),
         ide = this.parentThatIsA(IDE_Morph);
     new DialogBoxMorph(
         null,
         function (answer) {
             if (answer && (answer !== costume.name)) {
-                costume.name = answer;
+                costume.name = wardrobe.sprite.newCostumeName(answer);
                 costume.version = Date.now();
                 ide.hasChangedMedia = true;
             }
diff --git a/history.txt b/history.txt
index b46a551..236ba8a 100755
--- a/history.txt
+++ b/history.txt
@@ -2208,4 +2208,4 @@ ______
 140718
 ------
 * Lists: incorporate Brian’s adhoc fixes, thanks, Brian!
-* GUI: Use new mechanism for unique costume names on the paint editor
+* GUI: Use new mechanism for unique costume names on the paint editor, renamed costumes