commit 6a080bff83b59c44b4eee493b8bf684f25871e2b
author Adam Cohen <adamcohen@google.com> Wed May 09 11:23:12 2012 -0700
committer Android (Google) Code Review <android-gerrit@google.com> Wed May 09 11:23:12 2012 -0700
tree 5a4da8bad3eefae57295e929296cbde015d4edf9
parent 393295fabff828d3bc974a617d152ff0895a4071
parent f065c9663172094d2d79eb5f77c59d89e812437a

Merge "Accounting for widget padding in dips instead of pixels" into jb-dev

core/java/android/appwidget/AppWidgetHostView.java

diff --git a/core/java/android/appwidget/AppWidgetHostView.java b/core/java/android/appwidget/AppWidgetHostView.java
index 2ca2ae4..01b68d4 100644
--- a/core/java/android/appwidget/AppWidgetHostView.java
+++ b/core/java/android/appwidget/AppWidgetHostView.java
@@ -232,14 +232,15 @@
         if (mInfo != null) {
             padding = getDefaultPaddingForWidget(mContext, mInfo.provider, padding);
         }
+        float density = getResources().getDisplayMetrics().density;
 
-        int xPadding = padding.left + padding.right;
-        int yPadding = padding.top + padding.bottom;
+        int xPaddingDips = (int) ((padding.left + padding.right) / density);
+        int yPaddingDips = (int) ((padding.top + padding.bottom) / density);
 
-        options.putInt(AppWidgetManager.OPTION_APPWIDGET_MIN_WIDTH, minWidth - xPadding);
-        options.putInt(AppWidgetManager.OPTION_APPWIDGET_MIN_HEIGHT, minHeight - yPadding);
-        options.putInt(AppWidgetManager.OPTION_APPWIDGET_MAX_WIDTH, maxWidth - xPadding);
-        options.putInt(AppWidgetManager.OPTION_APPWIDGET_MAX_HEIGHT, maxHeight - yPadding);
+        options.putInt(AppWidgetManager.OPTION_APPWIDGET_MIN_WIDTH, minWidth - xPaddingDips);
+        options.putInt(AppWidgetManager.OPTION_APPWIDGET_MIN_HEIGHT, minHeight - yPaddingDips);
+        options.putInt(AppWidgetManager.OPTION_APPWIDGET_MAX_WIDTH, maxWidth - xPaddingDips);
+        options.putInt(AppWidgetManager.OPTION_APPWIDGET_MAX_HEIGHT, maxHeight - yPaddingDips);
         updateAppWidgetOptions(options);
     }