tree e88e3f19d5deb6b2beff83782788c551fbc8d3a5
parent 281786a841d9230f223118e4c61e580647806c12
author Tony Wickham <twickham@google.com> 1631134016 -0700
committer Tony Wickham <twickham@google.com> 1631134289 -0700

Add ability to start DeveloperOptionsFragment with filter pre-applied

Repurposing EXTRA_FRAGMENT_ARG_KEY to set an initial filter.

Test: adb shell 'am start -n com.google.android.apps.nexuslauncher/com.android.launcher3.settings.SettingsActivity --es ":settings:fragment" "com.android.launcher3.settings.DeveloperOptionsFragment" --es ":settings:fragment_args_key" "Education"'
Bug: 199299382
Change-Id: I032f7ffc373daed51c8d381f3cacf722fb3fb198