diff options
Diffstat (limited to 'gui.js')
| -rw-r--r-- | gui.js | 15 |
1 files changed, 13 insertions, 2 deletions
@@ -68,7 +68,7 @@ sb, CommentMorph, CommandBlockMorph*/ // Global stuff //////////////////////////////////////////////////////// -modules.gui = '2013-July-30'; +modules.gui = '2013-August-07'; // Declarations @@ -2153,6 +2153,17 @@ IDE_Morph.prototype.settingsMenu = function () { 'check for alternative\nGUI design', false ); + addPreference( + 'Sprite Nesting', + function () { + SpriteMorph.prototype.enableNesting = + !SpriteMorph.prototype.enableNesting; + }, + SpriteMorph.prototype.enableNesting, + 'UNDER CONSTRUCTION!\nuncheck to disable\nsprite composition', + 'UNDER CONSTRUCTION!\ncheck to enable\nsprite composition', + true + ); menu.addLine(); // everything below this line is stored in the project addPreference( 'Thread safe scripts', @@ -4718,7 +4729,7 @@ SpriteIconMorph.prototype.createThumbnail = function () { this.thumbnail = new Morph(); this.thumbnail.setExtent(this.thumbSize); - this.thumbnail.image = this.object.thumbnail(this.thumbSize); + this.thumbnail.image = this.object.fullThumbnail(this.thumbSize); this.add(this.thumbnail); }; |
