Hide setting for “prefer smooth animations”

(now - mostly - redundant because we’ve switched to animation frames)

gui.js

@@ -72,7 +72,7 @@ isRetinaSupported, SliderMorph, Animation*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.gui = '2016-December-27';
+modules.gui = '2016-December-29';
 
 // Declarations
 
@@ -2706,7 +2706,8 @@ IDE_Morph.prototype.settingsMenu = function () {
         'toggleVariableFrameRate',
         StageMorph.prototype.frameRate,
         'uncheck for greater speed\nat variable frame rates',
-        'check for smooth, predictable\nanimations across computers'
+        'check for smooth, predictable\nanimations across computers',
+        true
     );
     addPreference(
         'Flat line ends',

history.txt

@@ -3226,6 +3226,7 @@ http://snap.berkeley.edu/run#cloud:Username=jens&ProjectName=rotation
 161229
 ------
 * BYOB: Disabled hover-help for custom blocks (some people find it annoying)
+* GUI: Hide setting for “prefer smooth animations” (now - mostly - redundant)
 
 
 == v4.10 === (in development)