merge

1 files changed, 14 insertions, 3 deletions

diff --git a/gui.js b/gui.js
index a7302dc..26bb64c 100644
--- a/gui.js
+++ b/gui.js
@@ -69,7 +69,7 @@ SpeechBubbleMorph*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.gui = '2015-February-20';
+modules.gui = '2015-February-28';
 
 // Declarations
 
@@ -2376,6 +2376,17 @@ IDE_Morph.prototype.settingsMenu = function () {
         'check to prioritize\nscript execution'
     );
     addPreference(
+        'Cache Inputs',
+        function () {
+            SyntaxElementMorph.prototype.isCachingInputs =
+                !SyntaxElementMorph.prototype.isCachingInputs;
+        },
+        SyntaxElementMorph.prototype.isCachingInputs,
+        'uncheck to stop caching\ninputs (for debugging the evaluator)',
+        'check to cache inputs\nboosts recursion',
+        true
+    );
+    addPreference(
         'Rasterize SVGs',
         function () {
             MorphicPreferences.rasterizeSVGs =
@@ -2488,8 +2499,8 @@ IDE_Morph.prototype.projectMenu = function () {
     menu.addItem(
         'Save to disk',
         'saveProjectToDisk',
-        'store this project\nin your downloads folder\n'
-            + '(not supported by all browsers)'
+        'store this project\nin the downloads folder\n'
+            + '(in supporting browsers)'
     );
     menu.addItem('Save As...', 'saveProjectsBrowser');
     menu.addLine();