diff options
| author | 2012-11-12 12:19:21 -0800 | |
|---|---|---|
| committer | 2012-11-12 12:19:21 -0800 | |
| commit | b9a2a0402aa5e92926a6bd28467992deed5d5d9d (patch) | |
| tree | 7a79a9f0860e20f93e1f4978dcb2eae743107e57 /docs/html | |
| parent | e83f30726a7a7221b06d6b022427456fd7bffa9b (diff) | |
| parent | 67ba5d189c4eb7412e068f286f1c8f67cca6a909 (diff) | |
Merge "docs: 7 tap instructions for dev options" into jb-mr1-dev
Diffstat (limited to 'docs/html')
| -rw-r--r-- | docs/html/tools/index.jd | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/docs/html/tools/index.jd b/docs/html/tools/index.jd index 7d47a72608e2..38401aa6a028 100644 --- a/docs/html/tools/index.jd +++ b/docs/html/tools/index.jd @@ -54,10 +54,11 @@ page.title=Developer Tools updates on GPU views and hardware layers, touch location, and others.</li> <li>Plus many more options to simulate app stresses or enable debugging options.</li> </ul> -<p>To access these on your device, open <em>Developer options</em> in the system Settings. -If your device is running Android 4.2 or higher, you can access the settings with the -<a href="http://play.google.com/store/apps/details?id=com.android.development_settings">Developer -Settings</a> app.</p> +<p>To access these on your device, open the <em>Developer options</em> in the +system Settings. Note that on Android 4.2 and higher, the Developer options screen is +hidden by default. To make it available, go to +<b>Settings > About phone</b> and tap <b>Build number</b> seven times. Return to the previous +screen to find Developer options.</p> </div> |