From 58feea74b42bbaaa0552d76af23873bdd0b5dca2 Mon Sep 17 00:00:00 2001
From: Mitsuru Oshima <oshima@google.com>
Date: Mon, 11 May 2009 15:54:27 -0700
Subject: * update all metrics data when updating density. * Keyboard should
 use DisplayMetrics from Resource rather than getting it from WindowManager as
   the display metrics can differ under compatibility mode.

---
 core/java/android/util/DisplayMetrics.java | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

(limited to 'core/java/android/util/DisplayMetrics.java')

diff --git a/core/java/android/util/DisplayMetrics.java b/core/java/android/util/DisplayMetrics.java
index 095f4f4..e4dd020 100644
--- a/core/java/android/util/DisplayMetrics.java
+++ b/core/java/android/util/DisplayMetrics.java
@@ -99,4 +99,24 @@ public class DisplayMetrics {
         xdpi = DEVICE_DENSITY;
         ydpi = DEVICE_DENSITY;
     }
+
+    /**
+     * Set the display metrics' density and update parameters depend on it.
+     * @hide
+     */
+    public void updateDensity(float newDensity) {
+        float ratio = newDensity / density;
+        density = newDensity;
+        scaledDensity = density;
+        widthPixels *= ratio;
+        heightPixels *= ratio;
+        xdpi *= ratio;
+        ydpi *= ratio;
+    }
+
+    public String toString() {
+        return "DisplayMetrics{density=" + density + ", width=" + widthPixels +
+            ", height=" + heightPixels + ", scaledDensity=" + scaledDensity +
+            ", xdpi=" + xdpi + ", ydpi=" + ydpi + "}";
+    }
 }
-- 
cgit v1.1