| commit | 45cb6a8739dff2ae65aa93e8fdb928bfc75d1d90 | [log] [tgz] |
|---|---|---|
| author | Jon Miranda <jonmiranda@google.com> | Fri Feb 26 11:15:56 2021 -0500 |
| committer | Jon Miranda <jonmiranda@google.com> | Fri Feb 26 11:18:19 2021 -0500 |
| tree | 58ff573098c974df81c404279cf6cf673e6b071a | |
| parent | 036b5854751c5e75c3be49af47e46442364d16f9 [diff] |
Check for developer option on resuming settings activity.
Test: Turn system dev option off, check pref is gone in home settings
Turn system dev option on, check pref is visible in home settings
Change-Id: I71d90aa5840571e908228552e498ab3a82a3352d