Slight layout tweaks, version bump and upgrade message for release

astrid/AndroidManifest.xml

@@ -1,8 +1,8 @@
 <?xml version="1.0" encoding="utf-8"?>
 <manifest xmlns:android="http://schemas.android.com/apk/res/android"
           package="com.timsu.astrid"
-          android:versionName="3.9-rc4"
-          android:versionCode="201">
+          android:versionName="3.9"
+          android:versionCode="202">
           
   <!-- widgets, alarms, and services will break if Astrid is installed on SD card -->
   <!--    android:installLocation="internalOnly"> -->

astrid/res/layout/date_time_picker.xml

@@ -16,7 +16,7 @@
 		  <com.todoroo.astrid.ui.CalendarView
             android:id="@+id/calendar"
             android:layout_width="fill_parent"
-            android:layout_height="300dip"
+            android:layout_height="280dip"
             android:layout_weight="1" />
 		  <LinearLayout
 		      android:layout_width="fill_parent"

astrid/src/com/todoroo/astrid/service/UpgradeService.java

@@ -39,6 +39,7 @@ import com.todoroo.astrid.utility.AstridPreferences;
 
 public final class UpgradeService {
 
+    public static final int V3_9 = 202;
     public static final int V3_8_5_1 = 201;
     public static final int V3_8_5 = 200;
     public static final int V3_8_4_4 = 199;
@@ -158,6 +159,18 @@ public final class UpgradeService {
         Preferences.clear(AstridPreferences.P_UPGRADE_FROM);
         StringBuilder changeLog = new StringBuilder();
 
+        if (from < V3_9) {
+            newVersionString(changeLog, "3.9 (12/09/11)", new String[] {
+                    "Cleaner design (especially the task edit page)!",
+                    "Customize the edit page (\"Beast Mode\" in preferences)",
+                    "Make shared lists with tasks open to anyone (perfect for potlucks, road trips etc)",
+                    "Fixes for some ICS crashes (full support coming soon)",
+                    "Google Tasks sync improvement - Note: If you have been experiencing \"Sync with errors\", try logging out and logging back in to Google Tasks.",
+                    "Other minor bug fixes",
+                    "Feedback welcomed!"
+            });
+        }
+
         // current message
         if (from >= V3_8_5 && from < V3_8_5_1) {
             newVersionString(changeLog, "3.8.5.1 (11/09/11)", new String[] {

astrid/src/com/todoroo/astrid/service/abtesting/ABOptions.java

@@ -173,7 +173,7 @@ public class ABOptions {
     }
 
     public static final String AB_THEME_KEY = "ab-theme";
-    private static final int[] AB_THEME_PROBS = { 1, 1 };
+    private static final int[] AB_THEME_PROBS = { 9, 1 };
     private static final String[] AB_THEME_DESCRIPTIONS = { "ab-theme-white", "ab-theme-black" };
     private static final String[] AB_THEME_EVENTS = { StatisticsConstants.USER_FIRST_TASK,
                                                       StatisticsConstants.USER_FIRST_LIST,

astrid/src/com/todoroo/astrid/ui/CalendarView.java

@@ -244,7 +244,7 @@ public class CalendarView extends View {
         // Month border -- Start
         RectF rectF = new RectF();
 
-        float monthTitleHeight = (MONTH_TEXT_SIZE + 30) * density;
+        float monthTitleHeight = (MONTH_TEXT_SIZE + 10) * density;
         rectF.set(15, 15, getMeasuredWidth() - 15, monthTitleHeight);
         canvas.drawRoundRect(rectF, CURVE_RADIUS, CURVE_RADIUS, backColorPaint);
 
@@ -257,7 +257,7 @@ public class CalendarView extends View {
         leftArrowHeight = (int)(leftArrow.getHeight()*density / 2);
         leftArrowWidth = (int)(leftArrow.getWidth()*density / 2);
         leftArrowX = 5;
-        leftArrowY = 8 + (int)((monthTitleHeight / 2 - leftArrowHeight/2));
+        leftArrowY = 4 + (int)((monthTitleHeight / 2 - leftArrowHeight/2));
         canvas.drawBitmap(leftArrow, new Rect(0,0,leftArrow.getWidth(),leftArrow.getHeight()),
                 new Rect(leftArrowX, leftArrowY, leftArrowX + leftArrowWidth,
                         leftArrowY + leftArrowHeight), null);
@@ -268,7 +268,7 @@ public class CalendarView extends View {
         rightArrowHeight = (int)(rightArrow.getHeight()*density / 2);
         rightArrowWidth = (int)(rightArrow.getWidth()*density / 2);
         rightArrowX = (int) (getMeasuredWidth() - (2 * density) - (PADDING*3) - rightArrow.getWidth());
-        rightArrowY = 8 + (int)((monthTitleHeight / 2 - rightArrowHeight/2));
+        rightArrowY = 4 + (int)((monthTitleHeight / 2 - rightArrowHeight/2));
         canvas.drawBitmap(rightArrow, new Rect(0,0,rightArrow.getWidth(),rightArrow.getHeight()),
                 new Rect(rightArrowX, rightArrowY, rightArrowX + rightArrowWidth,
                         rightArrowY + rightArrowHeight), null);