diff options
| author | Tor Norbye <tnorbye@google.com> | 2013-03-22 18:00:05 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2013-03-22 18:00:05 +0000 |
| commit | 3400286c9a4d25ba2cbc2522ca7a74cd916c5427 (patch) | |
| tree | d8082703b20b25e3ad066907abbcfcdc3040c59e /eclipse/plugins | |
| parent | 6502a1b2a4a41eb1699ad29df3e5ec8df4fb2800 (diff) | |
| parent | 571ea149b8dc813180040be0ce66571b6ceb2eb5 (diff) | |
| download | sdk-3400286c9a4d25ba2cbc2522ca7a74cd916c5427.zip sdk-3400286c9a4d25ba2cbc2522ca7a74cd916c5427.tar.gz sdk-3400286c9a4d25ba2cbc2522ca7a74cd916c5427.tar.bz2 | |
Merge "Fix project files for DeviceConfig"
Diffstat (limited to 'eclipse/plugins')
| -rw-r--r-- | eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/configuration/DeviceMenuListener.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/configuration/DeviceMenuListener.java b/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/configuration/DeviceMenuListener.java index ccfa786..4890fe5 100644 --- a/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/configuration/DeviceMenuListener.java +++ b/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/configuration/DeviceMenuListener.java @@ -202,6 +202,8 @@ class DeviceMenuListener extends SelectionAdapter { String name = d.getName(); Screen screen = d.getDefaultHardware().getScreen(); float length = (float) screen.getDiagonalLength(); + // Round dimensions to the nearest tenth + length = Math.round(10 * length) / 10.0f; return String.format(java.util.Locale.US, "%1$s (%3$s\", %2$s)", name, getResolutionString(d), Float.toString(length)); } |