increased palette's vertical growth by scrollBarSize

history.txt

@@ -1814,3 +1814,7 @@ ______
 130713
 ------
 * Paint: fixed pipette tool for floodfill
+
+130715
+------
+* Objects: increased palette's vertical growth by scrollBarSize

objects.js

@@ -123,7 +123,7 @@ PrototypeHatBlockMorph*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.objects = '2013-July-09';
+modules.objects = '2013-July-15';
 
 var SpriteMorph;
 var StageMorph;
@@ -1863,6 +1863,7 @@ SpriteMorph.prototype.freshPalette = function (category) {
     palette.owner = this;
     palette.padding = unit / 2;
     palette.color = this.paletteColor;
+    palette.growth = new Point(0, MorphicPreferences.scrollBarSize);
 
     // menu: