added "savingPreferences" flag

for bh's "Eisenbergification" library, sigh.

blocks.js

@@ -150,7 +150,7 @@ CustomCommandBlockMorph*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.blocks = '2017-January-11';
+modules.blocks = '2017-January-13';
 
 var SyntaxElementMorph;
 var BlockMorph;

gui.js

@@ -74,7 +74,7 @@ isRetinaSupported, SliderMorph, Animation*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.gui = '2017-January-10';
+modules.gui = '2017-January-13';
 
 // Declarations
 
@@ -252,6 +252,8 @@ IDE_Morph.prototype.init = function (isAutoFill) {
     this.loadNewProject = false; // flag when starting up translated
     this.shield = null;
 
+    this.savingPreferences = true; // for bh's infamous "Eisenbergification"
+
     // initialize inherited properties:
     IDE_Morph.uber.init.call(this);
 
@@ -2069,6 +2071,9 @@ IDE_Morph.prototype.applySavedSettings = function () {
 };
 
 IDE_Morph.prototype.saveSetting = function (key, value) {
+    if (!this.savingPreferences) {
+        return;
+    }
     if (localStorage) {
         localStorage['-snap-setting-' + key] = value;
     }
@@ -3182,7 +3187,7 @@ IDE_Morph.prototype.aboutSnap = function () {
         module, btn1, btn2, btn3, btn4, licenseBtn, translatorsBtn,
         world = this.world();
 
-    aboutTxt = 'Snap! 4.0.10 - rc -\nBuild Your Own Blocks\n\n'
+    aboutTxt = 'Snap! 4.0.10\nBuild Your Own Blocks\n\n'
         + 'Copyright \u24B8 2017 Jens M\u00F6nig and '
         + 'Brian Harvey\n'
         + 'jens@moenig.org, bh@cs.berkeley.edu\n\n'

history.txt

@@ -3272,8 +3272,12 @@ http://snap.berkeley.edu/run#cloud:Username=jens&ProjectName=rotation
 ------
 * Error handling improvements for custom drop-down submenus and generic WHEN hats
 
+170113
+------
+* GUI: added "savingPreferences" flag for bh's "Eisenbergification" library, sigh.
 
-== v4.10 === (in development)
+
+== v4.10 ===
 
 Features:
 * auto-wrapping of C-slots

locale.js

@@ -42,7 +42,7 @@
 
 /*global modules, contains*/
 
-modules.locale = '2017-January-10';
+modules.locale = '2017-January-13';
 
 // Global stuff
 

objects.js

@@ -82,7 +82,7 @@ SpeechBubbleMorph, RingMorph, isNil, FileReader, TableDialogMorph,
 BlockEditorMorph, BlockDialogMorph, PrototypeHatBlockMorph, localize,
 TableMorph, TableFrameMorph, normalizeCanvas, BooleanSlotMorph*/
 
-modules.objects = '2017-January-09';
+modules.objects = '2017-January-13';
 
 var SpriteMorph;
 var StageMorph;