tree 58ff573098c974df81c404279cf6cf673e6b071a
parent 036b5854751c5e75c3be49af47e46442364d16f9
author Jon Miranda <jonmiranda@google.com> 1614356156 -0500
committer Jon Miranda <jonmiranda@google.com> 1614356299 -0500

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