updated version timestamps

and tweaked code formatting to please pedantic linters :-)

gui.js

@@ -72,7 +72,7 @@ isRetinaSupported, SliderMorph, Animation*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.gui = '2016-December-08';
+modules.gui = '2016-December-09';
 
 // Declarations
 
@@ -1281,8 +1281,8 @@ IDE_Morph.prototype.createSpriteBar = function () {
         null, // target
         function () {tabBar.tabTo('costumes'); },
         localize(this.currentSprite instanceof SpriteMorph ?
-			'Costumes' : 'Backgrounds'
-			),
+            'Costumes' : 'Backgrounds'
+        ),
         function () {  // query
             return myself.currentTab === 'costumes';
         }
@@ -6821,7 +6821,8 @@ CostumeIconMorph.prototype.renameCostume = function () {
             }
         }
     ).prompt(
-        this.currentSprite instanceof SpriteMorph ?	'rename costume' : 'rename background',
+        this.currentSprite instanceof SpriteMorph ?
+            'rename costume' : 'rename background',
         costume.name,
         this.world()
     );

objects.js

@@ -82,7 +82,7 @@ SpeechBubbleMorph, RingMorph, isNil, FileReader, TableDialogMorph,
 BlockEditorMorph, BlockDialogMorph, PrototypeHatBlockMorph, localize,
 TableMorph, TableFrameMorph, normalizeCanvas, BooleanSlotMorph*/
 
-modules.objects = '2016-December-05';
+modules.objects = '2016-December-09';
 
 var SpriteMorph;
 var StageMorph;
@@ -6207,7 +6207,9 @@ StageMorph.prototype.userMenu = function () {
     if (shiftClicked) {
         menu.addLine();
         menu.addItem(
-            ide.currentSprite instanceof SpriteMorph ?	"turn pen trails into new costume..." : "turn pen trails into new background...",
+            ide.currentSprite instanceof SpriteMorph ?
+                "turn pen trails into new costume..."
+                    : "turn pen trails into new background...",
             function () {
                 var costume = new Costume(
                     myself.trailsCanvas,
@@ -6217,10 +6219,11 @@ StageMorph.prototype.userMenu = function () {
                 ide.currentSprite.wearCostume(costume);
                 ide.hasChangedMedia = true;
             },
-            ide.currentSprite instanceof SpriteMorph ? 'turn all pen trails and stamps\n' +
-                'into a new costume for the\ncurrently selected sprite' :
-				'turn all pen trails and stamps\n' +
-				'into a new background for the stage',
+            ide.currentSprite instanceof SpriteMorph ?
+                'turn all pen trails and stamps\n' +
+                    'into a new costume for the\ncurrently selected sprite'
+                        : 'turn all pen trails and stamps\n' +
+                            'into a new background for the stage',
             new Color(100, 0, 0)
         );
     }