let costume icons indicate svg costumes

gui.js

@@ -74,7 +74,7 @@ isRetinaSupported, SliderMorph, Animation, BooleanSlotMorph*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.gui = '2017-January-23';
+modules.gui = '2017-February-01';
 
 // Declarations
 
@@ -7082,8 +7082,26 @@ CostumeIconMorph.prototype.init = function (aCostume, aTemplate) {
     this.fps = 1;
 };
 
-CostumeIconMorph.prototype.createThumbnail
-    = SpriteIconMorph.prototype.createThumbnail;
+CostumeIconMorph.prototype.createThumbnail = function () {
+    var txt;
+    SpriteIconMorph.prototype.createThumbnail.call(this);
+    if (this.object instanceof SVG_Costume) {
+        txt = new StringMorph(
+            'svg',
+            this.fontSize * 0.8,
+            this.fontStyle,
+            false,
+            false,
+            false,
+            this.labelShadowOffset,
+            this.labelShadowColor,
+            this.labelColor
+        );
+        txt.setBottom(this.thumbnail.bottom());
+        this.thumbnail.add(txt);
+    }
+};
+
 
 CostumeIconMorph.prototype.createLabel
     = SpriteIconMorph.prototype.createLabel;

history.txt

@@ -3345,3 +3345,7 @@ Fixes:
 170131
 ------
 * Lists: experimental methods for use as objects (hierarchical dictionaries)
+
+170201
+------
+* GUI: let costume icons indicate svg costumes