summaryrefslogtreecommitdiff
path: root/gui.js
diff options
context:
space:
mode:
Diffstat (limited to 'gui.js')
-rw-r--r--gui.js15
1 files changed, 13 insertions, 2 deletions
diff --git a/gui.js b/gui.js
index a39bc02..f7e1237 100644
--- a/gui.js
+++ b/gui.js
@@ -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);
};