Files
app_Settings/src/com/android/settings/DeviceInfoSettings.java
Fabrice Di Meglio 2ec78636f7 Implement #15841213 Search - index Developer Option only and only if they have been activated
- do not index Developer Options if they are not activated
- index them just after their activation

Change-Id: I54fcc6b55a1f29eb6b19d6e14e3158d4a38a6fe6
2014-07-25 16:28:53 -07:00

21 KiB