| commit | 0d07dd19d0a3c774b19cd79d23c0b3badf2c1bdb | [log] [tgz] |
|---|---|---|
| author | tmfang <tmfang@google.com> | Thu Oct 04 17:59:03 2018 +0800 |
| committer | tmfang <tmfang@google.com> | Mon Oct 08 16:23:52 2018 +0800 |
| tree | f3b2ab9139ca1a736e4c6235d8666575b8f043a0 | |
| parent | 93c86ab1b666d2364a60521c0ee1819b1ca70eec [diff] |
Use custom drop-down filter widget This CL is just a example how to use this SettingsSpinner. Change-Id: Ie0d104ce5f3e4c6b852fe7c051253b1567c6c4cd Fixes: 112706966 Test: robotests