| commit | 5514509963b7d09cbb7d893d110afbc91814a7e4 | [log] [tgz] |
|---|---|---|
| author | Fyodor Kupolov <fkupolov@google.com> | Mon Dec 08 14:15:36 2014 -0800 |
| committer | Fyodor Kupolov <fkupolov@google.com> | Wed Dec 17 13:58:01 2014 -0800 |
| tree | 064b325c2b6aaced08e1533d8a9698a9c0dc57ea | |
| parent | a754c6ba05cf9d693a7d65342310ec05a6fd2ca0 [diff] |
Remove Users & profiles header for phones In Settings/Users, remove "Users & profiles" header is no longer displayed for phones. List of UserPreference is now explicitly sorted. Before, it was relying on an overridden compareTo method in UserPreference, which behavior was difficult to predict when instances of UserPreference were mixed with other instances in the same group. Bug:17630523 Change-Id: Iba1ef863c2cd4e8ca307ae0aa0877c5cd9e0973d