| commit | 26a5c73dc727118326f6caf29b2ea96ebc3ed964 | [log] [tgz] |
|---|---|---|
| author | Edgar Wang <edgarwang@google.com> | Wed Nov 08 17:01:22 2023 +0800 |
| committer | Edgar Wang <edgarwang@google.com> | Thu Mar 21 04:08:08 2024 +0000 |
| tree | f5c57b674e901b187d125b4f94827ee632e6f8a0 | |
| parent | fb52d69142a4ce6faba08b2698b58a5870c49a52 [diff] |
Listen Developer option enable state - When developer option disabled, any page in Developer option should be closed. Bug: 293894425 Test: manual Change-Id: I392b122e885118770be1af2b51c0c7ef92279e1b