Add dev tool docs

JingMatrix · Dec 22, 2022 · afe6e0b · afe6e0b
1 parent 3a8295e
commit afe6e0b
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -84,6 +84,14 @@ one only needs to disable the right back gesture by
 adb shell settings put secure back_gesture_inset_scale_right -1
 ```
 
+### Dev Tools for developers
+
+Currently, I implement this feature only for Android 11+.
+I might implement it for older Android versions if there are some requests for doing so.
+
+Tap five times on the Chrome version from the Chrome settings, you will see the `Developer options` menu.
+After restarting Chrome, ChromeXt offers you the `Developer tools` page menu.
+
 ## Contribute to this project
 
 Before you submit your pull-requests, please ensure that the command

diff --git a/app/src/main/res/xml/developer_preferences.xml b/app/src/main/res/xml/developer_preferences.xml
@@ -17,7 +17,7 @@ found in the LICENSE file.
         android:title="Update Eruda" />
     <Preference
         android:key="exit"
-        android:title="Disable Developer Options" />
+        android:title="Disable developer options" />
     <org.chromium.components.browser_ui.settings.TextMessagePreference
         android:layout_width="match_parent"
         android:layout_height="wrap_content"