diff options
| author | Android (Google) Code Review <android-gerrit@google.com> | 2009-07-21 17:39:05 -0700 |
|---|---|---|
| committer | Android (Google) Code Review <android-gerrit@google.com> | 2009-07-21 17:39:05 -0700 |
| commit | fe6f45c81463d2d28e11ac6083f2653e1286c5ef (patch) | |
| tree | c36eedf29fba7b3d4ba4dbfd937dee56e1dcdb0b /services/java/com/android/server/WindowManagerService.java | |
| parent | 74cb705f0c1ee5ccb598b2b676aa50a36e6af7f9 (diff) | |
| parent | 61324e58c549670c015010d0be14c6af76e3e9f7 (diff) | |
Merge change 8098 into donut
* changes:
cast is floor. Use round instead. This fixes a few layout issues (that was due to smaller widnow size)
Diffstat (limited to 'services/java/com/android/server/WindowManagerService.java')
0 files changed, 0 insertions, 0 deletions